Riadok 10: | Riadok 10: | ||
| web = [http://ii.fmph.uniba.sk/~kluka/ homepage] | | web = [http://ii.fmph.uniba.sk/~kluka/ homepage] | ||
}} | }} | ||
− | === | + | === Teaching === |
− | * '' | + | * ''none'' |
− | === | + | === Research === |
* declarative programming techniques & implementation | * declarative programming techniques & implementation | ||
* logic | * logic | ||
* theorem proving | * theorem proving | ||
− | === | + | === Publications === |
− | * '' | + | * ''none'' |
<!-- | <!-- | ||
Riadok 25: | Riadok 25: | ||
<div style="font-size:7pt;"> | <div style="font-size:7pt;"> | ||
---- | ---- | ||
− | + | Responsible for pages: | |
* | * | ||
</div> | </div> | ||
--> | --> |
Verzia zo dňa a času 16:51, 21. august 2008
Ján Kľuka
|
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
Teaching
- none
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- none