Automation of Logic
Seiten
2026
Chapman & Hall/CRC (Verlag)
978-1-4398-7535-3 (ISBN)
Chapman & Hall/CRC (Verlag)
978-1-4398-7535-3 (ISBN)
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 |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-4398-7535-9 / 1439875359 |
| ISBN-13 | 978-1-4398-7535-3 / 9781439875353 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
Lehmanns Media (Verlag)
CHF 55,95
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
CHF 41,95
Interlingua zur Gewährleistung semantischer Interoperabilität in der …
Buch | Softcover (2023)
Springer Fachmedien (Verlag)
CHF 46,15
