A note on mechanizing higher order logic

Feb-1-1969–Classics/files/AI/classics/Machine Intelligence 5/MI5-Ch6-Robinson.pdf

In Meltzer, Bernard and Donald Michie (Eds.), Machine Intelligence 5. Edinburgh University Press.

law enforcement, logic programming, procedure, (21 more...)

Feb-1-1969

Country:
- Europe > United Kingdom (0.40)

Industry:
- Government > Regional Government
  - Europe Government > United Kingdom Government (0.40)
- Law Enforcement & Public Safety > Crime Prevention & Enforcement (0.40)

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

Duplicate Docs Excel Report

Title
6 A Note on Mechanizing Higher Order Logic J. A. Robinson

Similar Docs Excel Report more

Title	Similarity	Source
None found