Riadok 5: | Riadok 5: | ||
| section = Section of Declarative Programming | | section = Section of Declarative Programming | ||
| position = teacher | | position = teacher | ||
− | | phone = | + | | phone = +421 2 602 95 869 |
| room = i34 | | room = i34 | ||
| email = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = kluka[[Image:zavinac.gif|@]]fmph.uniba.sk |
Verzia zo dňa a času 11:32, 26. august 2008
Ján Kľuka
|
Teaching
- none
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- none
Responsible for pages:
- Aliyu_Tanko_Ali
- Andrej_Balaz
- Box
- Dana_Skorvankova
- Declarative_Programming_of_Web_Applications
- DP_Group
- Equipment_overview
- Ivan_Polasek
- Iveta_Beckova
- Jan_Kluka
- Link
- Marek_Suppa
- Maria_Lucka
- Maria_Slavickova
- Martina_Bodisova
- Martina_Koronci_Babinska
- Matej_Fandl
- Matej_Pechac
- Michal_Kracalik
- NewsItem
- Paula_Stancelova
- Peter_Peresini
- Stanislav_Krajcovic