Manumap
  • Explore
  • Search
  1. Home
  2. Search
  3. A Machine-Oriented Logic Based On The Resolution Principle

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)

Manumap

Explore the academic research landscape through interactive visualization and discovery tools.

Navigate

  • Explore Map
  • Search Papers
© 2026 Manumap. All rights reserved.