A man-machine theorem-proving system

DOI10.1016/0004-3702(74)90009-5MaRDI QIDQ1845619zbMATH OpenOpenAlexFDO

Authors 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

Cites work

• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 3231608 (Why is no real title available?)
• scientific article; zbMATH DE number 3349334 (Why is no real title available?)
• A Human Oriented Logic for Automatic Theorem-Proving
• Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
• Computer proofs of limit theorems
• Semi-Automated Mathematics
• Splitting and reduction heuristics in automatic theorem proving
• The utility of independent subgoals in theorem proving

Cited in

(12)

• scientific article; zbMATH DE number 3684923 (Why is no real title available?)
• Man-machine theorem proving in graph theory
• A pragmatic approach to resolution-based theorem proving
• SET-VAR
• Plane geometry theorem proving using forward chaining
• Non-resolution theorem proving
• Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system
• TPS: A theorem-proving system for classical type theory
• Milestones from the Pure Lisp Theorem Prover to ACL2
• TPS: A hybrid automatic-interactive system for developing proofs
• MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
• Automated theorem proving in mathematics.

This page was built for publication: A man-machine theorem-proving system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1845619)