Difference between revisions of "Jan Kluka/en"
| Line 5: | Line 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 374 |
| room = i33b | | room = i33b | ||
| email = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
Revision as of 15:16, 22 September 2009
Ján Kľuka
|
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- see homepage