Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

von: Peter Baumgartner · Reiner Hähnle · Joachim Posegga

Taschenbuch

ISBN-13: 978-3-662-19203-0

ISBN-10: 3-662-19203-9

Springer · 2014

Siehe auch:
2008TaschenbuchTheorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schlo¿¿ Rheinfels, St. Goar, Germany, May 7 - 10, ... (Lecture Notes in Computer Science, Band 918)