(New page: {{Person | fullname = Mgr. Ján Kľuka | caption = Ján Kľuka | image = | section = Oddelenie deklaratívneho programovania | position = učiteľ | phone = (+421 2 60...) |
|||
Riadok 14: | Riadok 14: | ||
=== Výskum === | === Výskum === | ||
− | * | + | * declarative programming techniques & implementation |
+ | * logic | ||
+ | * theorem proving | ||
=== Publikácie === | === Publikácie === |
Verzia zo dňa a času 17:14, 21. august 2008
Ján Kľuka
|
Responsible for pages:
- 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
Výučba
- chýba
Výskum
- declarative programming techniques & implementation
- logic
- theorem proving
Publikácie
- chýbajú