Jan Kluka/en: Rozdiel medzi revíziami
| Riadok 3: | Riadok 3: | ||
| caption = Ján Kľuka | | caption = Ján Kľuka | ||
| image = | | image = | ||
| − | | section = | + | | section = Section of Declarative Programming |
| − | | position = | + | | position = teacher |
| phone = (+421 2 602 95) 869 | | 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 | ||
| web = [http://ii.fmph.uniba.sk/~kluka/ homepage] | | web = [http://ii.fmph.uniba.sk/~kluka/ homepage] | ||
| − | + | | info = | |
| + | |||
=== Teaching === | === Teaching === | ||
* ''none'' | * ''none'' | ||
| Riadok 20: | Riadok 21: | ||
=== Publications === | === Publications === | ||
* ''none'' | * ''none'' | ||
| − | + | }} | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Verzia zo dňa a času 10:28, 26. august 2008
Ján Kľuka
|
|
Teaching
- none
Research
- declarative programming techniques & implementation
- logic
- theorem proving
Publications
- none