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
- 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