Automation of Mathematical Induction as part of the History of Logic

Moore, J Strother, Wirth, Claus-Peter

Jul-28-2014–arXiv.org Artificial Intelligence

We review the history of the automation of mathematical induction

logic programming, neural network, positive negative-conditional equation, (23 more...)

arXiv.org Artificial Intelligence

Jul-28-2014

Country:
- Europe > Germany (1.00)
- North America > United States
  - California
    - San Francisco County > San Francisco (0.13)
    - Santa Clara County > Palo Alto (0.14)
  - Texas > Travis County
    - Austin (0.14)

Industry:
- Information Technology > Security & Privacy (0.67)

Technology:
- Information Technology
  - Artificial Intelligence
    - Cognitive Science (0.92)
    - Machine Learning (1.00)
    - Natural Language (1.00)
    - Representation & Reasoning > Logic & Formal Reasoning (1.00)
  - Software > Programming Languages (1.00)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found