Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

EGLY, Egly, Uwe Egly, Carste Sinz, Carsten Sinz - Theory and Applications of Satisfiability Testing - SAT 2014
EGLY, Egly, Uwe Egly, Carste Sinz, Carsten Sinz Theory and Applications of Satisfiability Testing - SAT 2014 Englisch 20.06.2014 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Uwe Egly, Christian G. Fernmüller - Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly, Christian G. Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods Englisch 19.02.2009 Taschenbuch Fr. 70.00 6-7 Wochen