maximal method for set variables in automatic theorem-proving W. W. BLEDSOE 53 5 A production system for automatic deduction. N.J. NILSSON 101

Jan-25-2015, 22:22:59 GMT–AI Classics/files/AI/classics/Machine_Intelligence_9/MI9-TOC.pdf

A. YONEZAWA and C. HEWITT 41 REPRESENTATIONS FOR ABSTRACT REASONING 4 A maximal method for set variables in automatic theorem-proving W. W. BLEDSOE

bledsoe 53 5, machine learning, neural network, (5 more...)

Jan-25-2015, 22:22:59 GMT

Technology:
- Information Technology > Artificial Intelligence
  - Representation & Reasoning (0.81)
  - Cognitive Science > Problem Solving (0.37)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found