Non-resolution theorem proving

Feb-1-1977–Classics/files/AI/classics/Webber-Nilsson-Readings/Rdgs-NW-Bledsoe.pdf

Artificial Intelligence 9:1-35

artificial intelligence, logic & formal reasoning, theorem, (16 more...)

Feb-1-1977

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

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

Duplicate Docs Excel Report

Title
Non-resolution Theorem Proving '

Similar Docs Excel Report more

Title	Similarity	Source
None found