Jan Kluka/sk: Rozdiel medzi revíziami
| Riadok 1: | Riadok 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 | ||
Verzia zo dňa a času 10:11, 14. január 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: