Buy Used and New NicolaOlivetti Books

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

ISBN 13: 9783540730989

Format: Paperback (245 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later