Riadok 12: | Riadok 12: | ||
=== Teaching === | === Teaching === | ||
− | * | + | * [[Introduction to Declarative Programming]] |
+ | * [[Declarative Programming of Web Applications]] | ||
=== Research === | === Research === | ||
Riadok 20: | Riadok 21: | ||
=== Publications === | === Publications === | ||
− | * | + | * see [http://ii.fmph.uniba.sk/~kluka/ homepage] |
}} | }} |
Verzia zo dňa a času 15:53, 22. september 2009
Ján Kľuka
|
Teaching
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- see homepage
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