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
 
(Jedna medziľahlá úprava od jedného ďalšieho používateľa nie je zobrazená)
Riadok 1: Riadok 1:
Členovia katedry sú alebo boli zapojení do nasledujúcich výskumných projektov:
+
{{LangLessPlaceholder}}
 
+
* 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
+

Aktuálna revízia z 22:51, 17. september 2015

Research Projects