Principles of Automated Theorem Proving

Feb-1-1991–Classics/usr/local/files/AI/aitopics-pubs/69958.xml

John Wiley & Sons.

artificial intelligence, information management, logic programming, (1 more...)

Feb-1-1991

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