Jan Kluka/en: Rozdiel medzi revíziami
(Aktualizacia miestnosti a klapky) |
|||
| Riadok 5: | Riadok 5: | ||
| section = Section of Declarative Programming | | section = Section of Declarative Programming | ||
| position = teacher | | position = teacher | ||
| − | | phone = +421 2 602 95 | + | | phone = +421 2 602 95 727 |
| − | | room = | + | | room = I-16 |
| 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] | ||
| Riadok 19: | Riadok 19: | ||
* logic | * logic | ||
* theorem proving | * theorem proving | ||
| + | * description logics | ||
=== Publications === | === Publications === | ||
* see [http://ii.fmph.uniba.sk/~kluka/ homepage] | * see [http://ii.fmph.uniba.sk/~kluka/ homepage] | ||
}} | }} | ||
Aktuálna revízia z 09:15, 12. december 2014
Ján Kľuka
|
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
- description logics
Publications
- see homepage