Jan Kluka/sk: Rozdiel medzi revíziami
(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...) |
|||
| Riadok 14: | Riadok 14: | ||
=== Výskum === | === Výskum === | ||
| − | * | + | * declarative programming techniques & implementation |
| + | * logic | ||
| + | * theorem proving | ||
=== Publikácie === | === Publikácie === | ||
Verzia zo dňa a času 16:14, 21. august 2008
Ján Kľuka
|
|
Zodpovedný/á za stránky:
Výučba
- chýba
Výskum
- declarative programming techniques & implementation
- logic
- theorem proving
Publikácie
- chýbajú