| Riadok 5: | Riadok 5: | ||
| section = Oddelenie deklaratívneho programovania | | section = Oddelenie deklaratívneho programovania | ||
| position = učiteľ | | position = učiteľ | ||
| − | | phone = (+421 2 602 95) | + | | phone = (+421 2 602 95) 374 |
| − | | 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 16:16, 22. september 2009
Ján Kľuka
|
|
Výučba
Výskum
- declarative programming techniques & implementation
- logic
- theorem proving
Publikácie
- viď homepage