[Zurück]


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
U. Egly:
"Translations from QBFs to First-order Logic";
Vortrag: Deduktionstreffen, Klagenfurt; 26.09.2016.

Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.