| 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 |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 495.95
now: R 445.95
Forthcoming

| more |

| add to trolley |

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 542.95
now: R 488.95
Forthcoming

A terrifying locked-room mystery set in a remote outpost on Mars.

| more |

| add to trolley |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

| more |

| add to trolley |

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

| more |

| add to trolley |