Jan Kluka/sk: Rozdiel medzi revíziami
| Riadok 2: | Riadok 2: | ||
| fullname = Mgr. Ján Kľuka | | fullname = Mgr. Ján Kľuka | ||
| caption = Ján Kľuka | | caption = Ján Kľuka | ||
| − | | image = | + | | image = kluka.jpg |
| section = Oddelenie deklaratívneho programovania | | section = Oddelenie deklaratívneho programovania | ||
| position = učiteľ | | position = učiteľ | ||
Verzia zo dňa a času 15:14, 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: