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

von Bernhard Beckert Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-28931-9 ISBN-10: 3-540-28931-3 Springer Berlin Heidelberg · 2008