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) * ...)
 
d (Replacing page with 'generic page')
Riadok 1: Riadok 1:
Členovia katedry sú alebo boli zapojení do nasledujúcich výskumných projektov:
+
generic page
 
+
* 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
+

Verzia zo dňa a času 09:18, 2. september 2008

generic page