A Machine-Oriented Logic Based on the Resolution Principle

• J. A. Robinson

  Argonne National Laboratory, Argonne, Illinois and Rice University, Houston, Texas

収録刊行物

• Journal of the ACM

  Journal of the ACM 12 (1), 23-41, 1965-01

  Association for Computing Machinery (ACM)

キーワード

• Artificial Intelligence
• Hardware and Architecture
• Information Systems
• Control and Systems Engineering
• Software

詳細情報

• CRID: 1361981469340846976
• NII論文ID: 30021964175
• NII書誌ID: AA00253974
• DOI: 10.1145/321250.321253
• ISSN: 1557735X
• ISSN: 00045411
• Web Site: https://dl.acm.org/doi/pdf/10.1145/321250.321253
• データソース種別:
  • Crossref
  • CiNii Articles