Jan Kluka/en: Rozdiel medzi revíziami
| Riadok 6: | Riadok 6: | ||
| position = teacher | | position = teacher | ||
| phone = +421 2 602 95 869 | | phone = +421 2 602 95 869 | ||
| − | | room = | + | | room = i33b |
| email = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
| web = [http://ii.fmph.uniba.sk/~kluka/ homepage] | | web = [http://ii.fmph.uniba.sk/~kluka/ homepage] | ||
Verzia zo dňa a času 15:15, 22. september 2009
Ján Kľuka
|
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- see homepage