A computing procedure for quantification theory

Davis, M. | Putnam, H.

Feb-1-1960–Classics

Journal of the ACM, Vol. 7, No. 3, pp. 201-215

artificial intelligence, logic & formal reasoning, logic programming, (16 more...)

Feb-1-1960

Classics Web Page

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