Difference between revisions of "Jan Kluka/sk"
| Line 25: | Line 25: | ||
}} | }} | ||
<div style="font-size: xx-small;"> | <div style="font-size: xx-small;"> | ||
| + | <hr> | ||
<genZodpovedaZa></genZodpovedaZa> | <genZodpovedaZa></genZodpovedaZa> | ||
</div> | </div> | ||
Revision as of 21:37, 23 June 2015
Ján Kľuka
|
|
Výučba
Výskum
- techniky a implemetácia deklaratívneho programovania
- klasická logika, teória a zložitosť dôkazov
- automatické dokazovanie
- deskripčné logiky
Publikácie
- viď homepage
Zodpovedný/á za stránky: