Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science - Nicola Olivetti - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540730989 - June 21, 2007
In case cover and title do not match, the title is correct

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science

Nicola Olivetti

Price
元 397
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 3 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - Lecture Notes in Computer Science

Constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France in July 2007. This book includes papers that cover many topics in the wide range of logics, from intuitionistic and substructural logics to modal logics.

250 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 21, 2007
ISBN13 9783540730989
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 250
Dimensions 156 × 234 × 13 mm   ·   412 g
Language German  
Show all

More by Nicola Olivetti

See all of Nicola Olivetti ( e.g. Paperback Book )