Jan Kluka/sk: Rozdiel medzi revíziami
| Riadok 25: | Riadok 25: | ||
}} | }} | ||
<div style="font-size: xx-small;"> | <div style="font-size: xx-small;"> | ||
| + | <hr> | ||
<genZodpovedaZa></genZodpovedaZa> | <genZodpovedaZa></genZodpovedaZa> | ||
</div> | </div> | ||
Verzia zo dňa a času 20:37, 23. jún 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: