Items related to Automated Reasoning with Analytic Tableaux and Related...

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Softcover

 
9783642221200: Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Softcover
ISBN 10: 3642221203 ISBN 13: 9783642221200
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2011
  • ISBN 10 3642221203
  • ISBN 13 9783642221200
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642221187: Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, ... (Lecture Notes in Computer Science, 6793)

Featured Edition

ISBN 10:  3642221181 ISBN 13:  9783642221187
Publisher: Springer, 2011
Softcover