Olivetti, Automated Reasoning with Analytic Tableaux and Related Methods.
Olivetti, Automated Reasoning with Analytic Tableaux and Related Methods.
|
Olivetti, Nicola (Hrsg.): Automated Reasoning with Analytic Tableaux and Related Methods. 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. 2007. Berlin/ Heidelberg, Springer Berlin, 2007. 16 x 24 cm. X, 250 S. X, 250 p. softcover Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence).
Unser Preis: EUR 13,-- |