Research Projects: Rozdiel medzi revíziami
d (New page: Členovia katedry sú alebo boli zapojení do nasledujúcich výskumných projektov: * Virtual Heart of Central Europe, EU Project Culture 2000 * CoLogNET (Computational Logic Network) * ...) |
(Žiaden rozdiel)
|
Verzia zo dňa a času 10:17, 2. september 2008
Členovia katedry sú alebo boli zapojení do nasledujúcich výskumných projektov:
- Virtual Heart of Central Europe, EU Project Culture 2000
- CoLogNET (Computational Logic Network)
- Optimizing Logic Programs under Answer-Set Programming Paradigm
- European Science Foundation, project Automatha