Peter Borovansky/sk: Rozdiel medzi revíziami
| Riadok 15: | Riadok 15: | ||
* [[Programming Paradigms|Programovacie paradigmy]] | * [[Programming Paradigms|Programovacie paradigmy]] | ||
* [[Functional Programming|Funkcionálne programovanie]] | * [[Functional Programming|Funkcionálne programovanie]] | ||
| − | * Logické programovanie | + | * [http://ii.fmph.uniba.sk/~borovan/lopro/LOPRO.ps Logické programovanie] |
=== Výskum === | === Výskum === | ||
| − | * | + | * Systémy na prepisovanie termov |
| + | * Implementačné techniky programovacích jazykov | ||
| + | * Constraint satisfaction problem | ||
=== Publikácie === | === Publikácie === | ||
[http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=borovansky&scanu1=1003&elementcount=1&t1=borovansky&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=484623&authidu=1003 EVIPUB] | [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=borovansky&scanu1=1003&elementcount=1&t1=borovansky&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=484623&authidu=1003 EVIPUB] | ||
}} | }} | ||
Verzia zo dňa a času 09:35, 7. apríl 2010
Peter Borovanský
|
|
Výučba
Výskum
- Systémy na prepisovanie termov
- Implementačné techniky programovacích jazykov
- Constraint satisfaction problem
Publikácie
Zodpovedný/á za stránky: