(New page: {{Osoba | fullname = Mgr. Ján Kľuka | caption = Ján Kľuka | image = | section = Oddelenie deklaratívneho programovania | position = učiteľ | phone = (+421 2 602...) |
|||
| Line 14: | Line 14: | ||
=== Výskum === | === Výskum === | ||
| − | * | + | * declarative programming techniques & implementation |
| + | * logic | ||
| + | * theorem proving | ||
=== Publikácie === | === Publikácie === | ||
Revision as of 17:14, 21 August 2008
Ján Kľuka
|
|
Výučba
- chýba
Výskum
- declarative programming techniques & implementation
- logic
- theorem proving
Publikácie
- chýbajú