| Riadok 12: | Riadok 12: | ||
=== Výučba === | === Výučba === | ||
| − | * | + | * [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]] |
| + | * [[Declarative Programming of Web Applications|Deklaratívne programovanie webovských aplikácií]] | ||
=== Výskum === | === Výskum === | ||
| Riadok 20: | Riadok 21: | ||
=== Publikácie === | === Publikácie === | ||
| − | * | + | * viď [http://ii.fmph.uniba.sk/~kluka/ homepage] |
}} | }} | ||
Verzia zo dňa a času 15:55, 22. september 2009
Ján Kľuka
|
|
Výučba
Výskum
- declarative programming techniques & implementation
- logic
- theorem proving
Publikácie
- viď homepage