A Machine-Oriented Logic Based On The Resolution Principle

·1965·DOI

Engineering and Technology

Computational and Interdisciplinary Sciences

Computational Modeling and Optimization

Algorithms in Logic and Computation

Role in the Field

Neutralin Engineering and Technology

Neutralin Computational and Interdisciplinary Sciences

Neutralin Computational Modeling and Optimization

Neutralin Algorithms in Logic and Computation

Abstract

Citations

2,415

Year

1965

PageRank

6.6 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Causal Inference Without Balance Checking: Coarsened Exact Matching

·2012·2,372 citations

Trends In Logic

·2000·1,962 citations

Trends In Logic

·1998·1,848 citations

The Knowledge Complexity Of Interactive Proof Systems

·1989·1,933 citations

·1987·2,540 citations

Foundations Of Logic Programming

·1987·2,049 citations

Graph-Based Algorithms For Boolean Function Manipulation

·1986·5,683 citations

Can Programming Be Liberated From The Von Neumann Style?

·1978·1,713 citations

Logical Reversibility Of Computation

·1973·2,418 citations

A Machine Program For Theorem-Proving

·1962·1,859 citations