[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
U. Egly:
"Quantifier handling in calculi for quantified Boolean formulas";
Vortrag: International Workshop on Quantification (QUANTIFY), Wien (eingeladen); 18.07.2014.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.