[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):

M. Seidl:
"A Solver for QBFs in Nonprenex Form";
Poster: Doctoral Consortium at the KR 2006, Lake District, UK; 02.06.2006 - 05.06.2006.



Elektronische Version der Publikation:
http://www.big.tuwien.ac.at/research/publications/2006/3306.pdf



Zugeordnete Projekte:
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration