Difference between revisions of "Jan Kluka/sk"
| Line 1: | Line 1: | ||
{{Osoba | {{Osoba | ||
| − | | 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:11, 14 January 2011
Ján Kľuka
|
|
Výučba
Výskum
- declarative programming techniques & implementation
- logic
- theorem proving
Publikácie
- viď homepage
Zodpovedný/á za stránky: