INDEX

Jan-25-2015, 22:16:53 GMT–AI Classics/files/AI/classics/Machine Intelligence 6/MI6-Index.pdf

D.B.VIGOR 33 MECHANISED MATHEMATICS 4 An approach to analytic integration using ordered algebraic expressions. L.I.HonGsox 47 5 Some theorem-proving strategies based on the resolution principle.

logic & formal reasoning, machine learning, natural language, (17 more...)

AI Classics

Jan-25-2015, 22:16:53 GMT

Classics PDF

Add feedback

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning (1.00)
  - Natural Language (1.00)
  - Representation & Reasoning > Logic & Formal Reasoning (1.00)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found