Automated Reasoning with Analytic Tableaux and Related Methods - Softcover

 
9783540815594: Automated Reasoning with Analytic Tableaux and Related Methods

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9783540289319: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings: 3702 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  3540289313 ISBN 13:  9783540289319
Verlag: Springer Berlin Heidelberg, 2008
Softcover