Difference between revisions of "Jan Kluka/en"
| Line 2: | Line 2: | ||
| fullname = Mgr. Ján Kľuka | | fullname = Mgr. Ján Kľuka | ||
| caption = Ján Kľuka | | caption = Ján Kľuka | ||
| − | | image = | + | | image = kluka.jpg |
| section = Section of Declarative Programming | | section = Section of Declarative Programming | ||
| position = teacher | | position = teacher | ||
Revision as of 15:14, 22 September 2009
Ján Kľuka
|
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- see homepage