Difference between revisions of "Jan Kluka/sk"
| Line 12: | Line 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 === | ||
| Line 20: | Line 21: | ||
=== Publikácie === | === Publikácie === | ||
| − | * | + | * viď [http://ii.fmph.uniba.sk/~kluka/ homepage] |
}} | }} | ||
Revision as of 14:55, 22 September 2009
Ján Kľuka
|
|
Výučba
Výskum
- declarative programming techniques & implementation
- logic
- theorem proving
Publikácie
- viď homepage
Zodpovedný/á za stránky: