Experiments with resolution-based theorem-proving algorithms

DOI10.1016/0898-1221(82)90053-0zbMath0487.68080OpenAlexW2014291738MaRDI QIDQ1165594

Ross A. Overbeek, Ewing L. Lusk

Publication date: 1982

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(82)90053-0

Mathematics Subject Classification ID

Cites Work

• Problems and Experiments for and with Automated Theorem-Proving Programs
• An Evaluation of an Implementation of Qualified Hyperresolution
• A Human Oriented Logic for Automatic Theorem-Proving
• A Proof Procedure Using Connection Graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Experiments with resolution-based theorem-proving algorithms