Für diesen Artikel ist leider kein Bild verfügbar.

Automation of Logic

Christoph Weidenbach (Autor)

Buch | Hardcover

400 Seiten

2026
Chapman & Hall/CRC (Verlag)
978-1-4398-7535-3 (ISBN)

Noch nicht erschienen (ca. Januar 2026)
Versandkostenfrei
Auch auf Rechnung

Artikel merken

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.

Propositional Logic. First-Order Logic: Linear Arithmetic Structures. First-Order Logic: Ground Structures. First-Order Logic: Ground Structures with Theories. First-Order Logic: Free Structures. First-Order Logic: Free Structures with Theories.

Erscheint lt. Verlag	5.1.2026
Reihe/Serie	Chapman & Hall/CRC Studies in Informatics Series
Zusatzinfo	50 Illustrations, black and white
Sprache	englisch
Maße	156 x 234 mm
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	1-4398-7535-9 / 1439875359
ISBN-13	978-1-4398-7535-3 / 9781439875353
Zustand	Neuware