Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007,

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, - Paperback

$88.95
Skip to product information
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007,
  • Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007,
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, - Paperback

$88.95
Shipping calculated at checkout.
Details

by Nicola Olivetti (Editor)

This book 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. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.

Number of Pages: 250
Dimensions: 0.61 x 9.16 x 6.3 IN
Illustrated: Yes
Publication Date: June 21, 2007
Materials + Care

We prioritize quality in selecting the materials for our items, choosing premium fabrics and finishings that ensure durability, comfort, and timeless appeal.
Shipping + Returns

We strive to process and ship all orders in a timely manner, working diligently to ensure that your items are on their way to you as soon as possible.

You might also like...