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 & formal reasoning, machine learning, programming language, (23 more...)

arXiv.org Artificial Intelligence

Jul-28-2014

Country:
- Europe > Germany (1.00)
- North America > United States
  - California > Santa Clara County (0.46)

Genre:
- Research Report (1.00)
- Workflow (0.92)

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

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

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found