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