scientific article; zbMATH DE number 3881899

MaRDI QIDQ3216155zbMATH OpenFDO

Authors Donald W. Loveland

Publication date 1984

zbMATH Keywords

AURAconnection graphhistorical development of automated theorem provinghuman simulation approachlogic approachMarkgraf Karl systemPLANNER-systemprogram verificationPROLOGresolutionrewrite-rule systemssurvey

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Development of contemporary mathematics (01A65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03)

Recommendations

• scientific article; zbMATH DE number 3904557
• scientific article; zbMATH DE number 3904558
• scientific article; zbMATH DE number 4119665
• Automatic theorem proving. II
• scientific article; zbMATH DE number 49488

Cited in

(23)

• Automated inferencing
• A case study in automated theorem proving: Finding sages in combinatory logic
• Errata to ``75 problems for testing automatic theorem provers
• A parallel approach for theorem proving in propositional logic
• A method for simultaneous search for refutations and models by equational constraint solving
• A learning procedure for mathematics.
• A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes
• Evaluating general purpose automated theorem proving systems
• An automated prover for Zermelo-Fraenkel set theory in Theorema
• Some historical reflections
• scientific article; zbMATH DE number 4201687 (Why is no real title available?)
• scientific article; zbMATH DE number 3904000 (Why is no real title available?)
• scientific article; zbMATH DE number 3904557 (Why is no real title available?)
• Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity
• Automatic theorem proving. II
• Automated theorem proving and logic programming: a natural symbiosis
• scientific article; zbMATH DE number 67847 (Why is no real title available?)
• scientific article; zbMATH DE number 1474909 (Why is no real title available?)
• scientific article; zbMATH DE number 4119665 (Why is no real title available?)
• Increasing the efficiency of automated theorem proving
• Teaching Automated Theorem Proving by Example: PyRes 1.2
• An automatic proof of Gödel's incompleteness theorem
• A decision algorithm for linear sentences on a PFM

This page was built for publication:

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