Automated Theorem Proving: After 25 Years

DOI10.1090/conm/029zbMath0545.00023OpenAlexW2035169567WikidataQ56814467 ScholiaQ56814467MaRDI QIDQ3335722

No author found.

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

ProceedingsMeetingTheorem provingAutomated theorem provingDenver/ColoradoAmerican Mathematical Society

Mathematics Subject Classification ID

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

Related Items (14)

Proof-checking Euclid ⋮ History and Prospects for First-Order Automated Deduction ⋮ Wu's method and its application to perspective viewing ⋮ Increasing the efficiency of automated theorem proving ⋮ A refutational approach to geometry theorem proving ⋮ A complete proof system for propositional projection temporal logic ⋮ A complete axiom system for propositional projection temporal logic with cylinder computation model ⋮ Verification of distributed systems with the axiomatic system of MSVL ⋮ A logic-based model of intention formation and action for multi-agent subcontracting ⋮ 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 ⋮ A formal proof of the deadline driven scheduler in PPTL axiomatic system ⋮ Syntactical treatments of propositional attitudes ⋮ Automated inferencing

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