A Mechanical Proof Procedure and Its Realization in an Electronic Computer

Feb-1-1960–Classics

Journal of the Association for Computing Machinery, Vol 7, pp. 102-128

electronic computer, mechanical proof procedure, realization

Feb-1-1960

Classics Web Page

Country:
- Europe > Netherlands > North Holland > Amsterdam (0.28)

Industry:
- Semiconductors & Electronics (0.40)

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