A man-machine theorem-proving system

DOI10.1016/0004-3702(74)90009-5zbMath0286.68047OpenAlexW2028714117MaRDI QIDQ1845619

W. W. Bledsoe, Peter Bruell

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

Mathematics Subject Classification ID

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