U. Egly:
"Deduction Concepts for Quantified Boolean Formulas";
Vortrag: Advanced Winter School on Reasoning Engines for Rigorous System Engineering, Johannes Kepler University, Linz (eingeladen); 03.02.2014 - 07.02.2014.
Projektleitung Uwe Egly:
Quantified Boolean Formulas