| book details |

Automation of Logic

By (author) Christoph Weidenbach

This book is currently unavailable. Enquire to check if we can source a used copy

| enquire |

| book description |

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the bookâ€™s website and a solutions manual is available for qualifying instructors.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Bonsai Success in Southern Africa

Carl Morrow
Paperback / softback
160 pages
was: R 320.95
now: R 288.95
Stock is usually dispatched in 6-12 days from date of order

In this uniquely Southern African book, Carl Morrow and Keith Kirsten guide readers step by step into the magical realms of bonsai as a hobby, horticultural practice and art form.

| more |

| add to trolley |

The Ballerina and the Bull: Anarchist Utopias in the Age of Finance

Johanna Isaacson
Paperback / softback
288 pages
was: R 306.95
now: R 275.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Our moment has seen the resurgence of an anarchist sensibility, from the uprisings in Seattle in 1999 to the Occupy movement of 2011.

| more |

| add to trolley |

Fifteen Dogs

AndrÃ© Alexis
Paperback / softback
176 pages
was: R 280.95
now: R 252.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

A pack of dogs are granted the power of human thought - but what will it do to them? A surprising and insightful look at the beauty and perils of consciousness.

| more |

| add to trolley |