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 programming, theorem, (16 more...)

Feb-1-1977

Country:
- North America
  - Canada > Ontario
    - Toronto (0.14)
  - United States > California
    - Santa Clara County (0.14)

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