Opening book details…
Can I read Automated Theorem Proving : Theory and Practice on EtoBox?
Automated Theorem Proving : Theory and Practice by Monty Newborn (auth.) is a mathematics available to read on EtoBox.
What is Automated Theorem Proving : Theory and Practice about?
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments.
Who reads Automated Theorem Proving : Theory and Practice?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Monty Newborn (auth.)
- Publisher
- Springer-Verlag New York
- Published
- 2001
- Language
- EN
- ISBN
- 9780387950754
- Category
- mathematics
- Subjects
- Computer Science, Language Learning, Mathematics
- Updated
- 2026-03-25
More by Monty Newborn (auth.)
Browse all works by Monty Newborn (auth.)
Similar books
- Automated Theorem Proving — Bibel, Wolfgang. aut (1987)
- Automated Theorem Proving: A Logical Basis (Fundamental Studies in Computer Science) — D. W. Loveland (Auth.) (1978)
- First-Order Logic and Automated Theorem Proving (Texts in Computer Science) — Melvin Fitting (auth.) (1996)
- Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) — Chin-Liang Chang and Richard Char-Tung Lee (Auth.) (1973)
- Automated Inequality Proving and Discovering (344 Pages) — Xia, Bican,Yang, Lu
- Machine Learning and Automated Theorem Proving — James P Bridge (2010)