A Machine Program For Theorem-Proving

·1962·DOI

Health Data Science

Computational and Interdisciplinary Sciences

Algorithms and Logical Systems

Algorithms in Logic and Computation

Role in the Field

Neutralin Health Data Science

Neutralin Computational and Interdisciplinary Sciences

Neutralin Algorithms and Logical Systems

Neutralin Algorithms in Logic and Computation

Abstract

Citations

1,859

Year

1962

PageRank

5.0 / 10

Relative influence (log-scaled)