Analytic resolution in theorem proving

DOI10.1016/0004-3702(76)90010-2zbMath0345.68036OpenAlexW2051382791MaRDI QIDQ1233325

Daniel Brand

Publication date: 1976

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(76)90010-2

Mathematics Subject Classification ID

Cites Work

• Proving Theorems with the Modification Method
• An Implementation of the Model Elimination Proof Procedure
• A Machine-Oriented Logic Based on the Resolution Principle
• The Concept of Demodulation in Theorem Proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Analytic resolution in theorem proving