Difference between revisions of "Jan Kluka/en"
| Line 1: | Line 1: | ||
{{Person | {{Person | ||
| − | | fullname = Mgr. Ján Kľuka | + | | fullname = Mgr. Ján Kľuka, PhD. |
| caption = Ján Kľuka | | caption = Ján Kľuka | ||
| image = kluka.jpg | | image = kluka.jpg | ||
Revision as of 10:12, 14 January 2011
Ján Kľuka
|
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- see homepage