Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1309.6226
101
14
Like
Open options
v1
v2
v3
v4
v5 (latest)
Automation of Mathematical Induction as part of the History of Logic
24 September 2013
J. Strother
Claus-Peter Wirth
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
Abstract
We review the history of the automation of mathematical induction
View on arXiv
Comments on this paper
Comment
Submit
