0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Not currently available

Automation of Logic (Hardcover) Loot Price: R1,930
Discovery Miles 19 300
Automation of Logic (Hardcover): Christoph Weidenbach

Automation of Logic (Hardcover)

Christoph Weidenbach

Series: Chapman & Hall/CRC Studies in Informatics Series

 (sign in to rate)
Loot Price R1,930 Discovery Miles 19 300 | Repayment Terms: R176 pm x 12*

Bookmark and Share

To be released on 2021. We are not yet accepting orders for this product. If you add this item to your wish list we will let you know when it becomes available.

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.

General

Imprint: Chapman & Hall/CRC
Country of origin: United States
Series: Chapman & Hall/CRC Studies in Informatics Series
Release date: 2021
First published: 2013
Authors: Christoph Weidenbach
Dimensions: 235 x 156mm (L x W)
Format: Hardcover
Pages: 400
ISBN-13: 978-1-4398-7535-3
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN: 1-4398-7535-9
Barcode: 9781439875353

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners