Some theorem-proving strategies based on the resolution principle

Feb-1-1967–Classics/files/AI/classics/Machine_Intelligence_2/MI2-Ch5-Darlington.pdf

In Dale, Ella and Donald Michie (Eds.), Machine Intelligence 2. Edinburgh University Press.

artificial intelligence, logic programming, unit clause, (19 more...)

Feb-1-1967

Country:
- North America > United States > California (0.28)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.49)

Duplicate Docs Excel Report

Title
SOME THEOREM-PROVING STRATEGIES BASED ON THE RESOLUTION PRINCIPLE JARED L. DARLINGTON

Similar Docs Excel Report more

Title	Similarity	Source
None found