A machine program for theorem-proving

Davis, M. | Logemann, G. | Loveland, D.

Feb-1-1962–Classics

CACM, 5, 394–397

artificial intelligence, logic programming, quantifier-free line, (18 more...)

Feb-1-1962

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

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

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found