Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1309.6226
236
14
Like
Bookmark
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
