Automated Theorem proving : a quarter century review

Loveland, Donald

Feb-1-1983–Classics/files/AI/aitopics-pubs/76566.xml

American Mathematical Soceify 29, 1983

artificial intelligence, logic programming, quarter century review, (3 more...)

Feb-1-1983

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

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found