Automation of Mathematical Induction as part of the History of Logic
Moore, J Strother, Wirth, Claus-Peter
–arXiv.org Artificial Intelligence
The extensive and sophisticated subject of proof planning is not especially related to induction, but addresses automated theorem proving in general. We cannot cover it here and have to refer the reader to the standard publications on the subject.
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)
- Industry:
- Information Technology > Security & Privacy (0.67)
- Technology: