Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Nonprenex Form";
Vortrag: 17th European Conference on Artificial Intelligence,
Riva del Garda, Italy;
29.08.2006
- 01.09.2006; in: "Proceedings of the ECAI 2006",
IOS Press,
(2006),
ISBN: 1-58603-642-4;
S. 477
- 481.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586864
Elektronische Version der Publikation:
http://www.big.tuwien.ac.at/research/publications/2006/3506.pdf
Zugeordnete Projekte:
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration