Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... Notes in Computer Science (1071), Band 1071)

von: Pierangelo Miglioli · Daniele Mundici · Mario Ornaghi · Ugo Moscato Taschenbuch Details (Deutschland) ISBN: 978-3-540-61208-7 ISBN-10: 3-540-61208-4 Springer · 2008