The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... / Lecture Notes in Artificial Intelligence)

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... / Lecture Notes in Artificial Intelligence)

by NicolaOlivetti (Editor)

$60.04

Quantity

20+ in stock

More Information

Format: Paperback
 Pages: 245
 Publisher: Springer
Published: 21 Jun 2007
ISBN 10: 3540730982
ISBN 13: 9783540730989