An approach to heuristic problem-solving and theorem proving in the propositional calculus

Feb-1-1967–Classics/files/AI/aitopics-pubs/69553.xml

In Hart, J. and Takasu, S. (Eds.), Systems and Computer Science. University of Toronto Press

artificial intelligence, heuristic problem-solving and theorem, logic programming, (3 more...)

Feb-1-1967

Classics Unknown

Country:
- North America > Canada > Ontario > Toronto (0.53)

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