Jan Kluka/sk: Rozdiel medzi revíziami
(Aktualizacia miestnosti a klapky) |
|||
| Riadok 24: | Riadok 24: | ||
* viď [http://ii.fmph.uniba.sk/~kluka/ homepage] | * viď [http://ii.fmph.uniba.sk/~kluka/ homepage] | ||
}} | }} | ||
| + | <div style="font-size: xx-small;"> | ||
| + | <genZodpovedaZa></genZodpovedaZa> | ||
| + | </div> | ||
Verzia zo dňa a času 20:36, 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: