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

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings - Softcover

 
9783642405389: Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Softcover
ISBN 10: 364240538X ISBN 13: 9783642405389
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

(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

9783642405365: Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... (Lecture Notes in Artificial Intelligence)

Featured Edition

ISBN 10:  3642405363 ISBN 13:  9783642405365
Publisher: Springer, 2013
Softcover