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)

Pierangelo

von: Pierangelo Miglioli · Daniele Mundici · Mario Ornaghi · Ugo Moscato

Taschenbuch

ISBN: 978-3-540-61208-7

ISBN-10: 3-540-61208-4

Springer · 2008