☰

Computers & Technology

Business Technology

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

R 2,422

or 4 x payments of R605.50 with Payflex

Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

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

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.
Country USA
Brand Springer
Manufacturer Springer
Binding Paperback
ItemPartNumber biography
ReleaseDate 2007-06-21
UnitCount 1
EANs 9783540730989

Customers who purchased this also purchased....

Paul Gauguin: Artist of Myth and Dream

Paul Gauguin: Artist of Myth and Dream

Adult and Child CPR Anytime Kit (English and Spanish)

Adult and Child CPR Anytime Kit (English and Spanish)

National Geographic Atlas of the Middle East, Second Edition: The Most Concise and Current Source on the World's Most Complex Region

National Geographic Atlas of the Middle East, Second Edition: The Most Concise and Current Source on the World's Most Complex Region

Ronaldo: Second Edition (World Soccer Legends)

Ronaldo: Second Edition (World Soccer Legends)

Dr. Barbara Cure for Erectile Dysfunction: The Complete Guide on Treating and Reversing Erectile Dysfunction with Natural Barbara O’Neill Approved Herbs and Foods

Dr. Barbara Cure for Erectile Dysfunction: The Complete Guide on Treating and Reversing Erectile Dysfunction with Natural Barbara O’Neill Approved Herbs and Foods

Improve Attention To Detail: A straightforward system to develop attention to detail in yourself, employees, and across an organization.

Improve Attention To Detail: A straightforward system to develop attention to detail in yourself, employees, and across an organization.

Foraging for Edible Wild Plants: How to identify, cook and enjoy them

Foraging for Edible Wild Plants: How to identify, cook and enjoy them

Human Anatomy, Global Edition

Human Anatomy, Global Edition