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

Automated Reasoning with Analytic Tableaux and Related Methods - Softcover

 
9783540815594: Automated Reasoning with Analytic Tableaux and Related Methods
Softcover
ISBN 10: 3540815597 ISBN 13: 9783540815594
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2008
  • ISBN 10 3540815597
  • ISBN 13 9783540815594
  • BindingPaperback
  • LanguageEnglish
  • Number of pages364
  • EditorBeckert Bernhard

(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

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

Featured Edition

ISBN 10:  3540289313 ISBN 13:  9783540289319
Publisher: Springer, 2005
Softcover