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

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... (Lecture Notes in Computer Science, 1071) (ISBN-13: 9783540612087 and ISBN-10: 3540612084), written by authors Daniele Mundici, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, was published by Springer in 1996. With an overall rating of 4.4 stars, it's a notable title among other books. You can easily purchase or rent Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... (Lecture Notes in Computer Science, 1071) (Paperback) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.35.