Automated Theorem Proving: After 25 Years

DOI10.1090/CONM/029zbMATH Open0545.00023OpenAlexW2035169567WikidataQ56814467 ScholiaQ56814467MaRDI QIDQ3335722FDOQ3335722

Author name not available (Why is that?)

Publication date: 1984

Published in: Contemporary Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/conm/029

zbMATH Keywords

Automated theorem provingProceedingsTheorem provingMeetingDenver/ColoradoAmerican Mathematical Society

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)

Cited In (17)

• A complete proof system for propositional projection temporal logic
• A refutational approach to geometry theorem proving
• Geometry machines: from AI to SMC
• History and Prospects for First-Order Automated Deduction
• Wu's method and its application to perspective viewing
• A mechanical proof of the Church-Rosser theorem
• Increasing the efficiency of automated theorem proving
• Proof-checking Euclid
• Syntactical treatments of propositional attitudes
• A logic-based model of intention formation and action for multi-agent subcontracting
• Automated deduction
• A complete axiom system for propositional projection temporal logic with cylinder computation model
• Verification of distributed systems with the axiomatic system of MSVL
• A formal proof of the deadline driven scheduler in PPTL axiomatic system
• A method for simultaneous search for refutations and models by equational constraint solving
• A method for building models automatically. Experiments with an extension of OTTER
• Automated inferencing

This page was built for publication: Automated Theorem Proving: After 25 Years

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