(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
- Aliyu_Tanko_Ali
- Andrej_Balaz
- Box
- Dana_Skorvankova
- Declarative_Programming_of_Web_Applications
- DP_Group
- Equipment_overview
- Ivan_Polasek
- Iveta_Beckova
- Jan_Kluka
- Link
- Marek_Suppa
- Maria_Lucka
- Maria_Slavickova
- Martina_Bodisova
- Martina_Koronci_Babinska
- Matej_Fandl
- Matej_Pechac
- Michal_Kracalik
- NewsItem
- Paula_Stancelova
- Peter_Peresini
- Stanislav_Krajcovic