Items related to Automated Practical Reasoning: Algebraic Approaches

Automated Practical Reasoning: Algebraic Approaches - Softcover

 
9783709166055: Automated Practical Reasoning: Algebraic Approaches
Softcover
ISBN 10: 3709166055 ISBN 13: 9783709166055
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2012
  • ISBN 10 3709166055
  • ISBN 13 9783709166055
  • 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

9780387826004: Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)

Featured Edition

ISBN 10:  0387826009 ISBN 13:  9780387826004
Softcover