A man-machine theorem-proving system
From MaRDI portal
Publication:1845619
DOI10.1016/0004-3702(74)90009-5zbMath0286.68047OpenAlexW2028714117MaRDI QIDQ1845619
Publication date: 1974
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(74)90009-5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Automated theorem proving in mathematics. ⋮ Man-machine theorem proving in graph theory ⋮ Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system ⋮ TPS: A hybrid automatic-interactive system for developing proofs ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ TPS: A theorem-proving system for classical type theory ⋮ Unnamed Item ⋮ Plane geometry theorem proving using forward chaining ⋮ Non-resolution theorem proving ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2 ⋮ A pragmatic approach to resolution-based theorem proving ⋮ SET-VAR
Cites Work
- Splitting and reduction heuristics in automatic theorem proving
- Computer proofs of limit theorems
- A Human Oriented Logic for Automatic Theorem-Proving
- Semi-Automated Mathematics
- The utility of independent subgoals in theorem proving
- Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A man-machine theorem-proving system
