Jan Kluka/en: Rozdiel medzi revíziami
| 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