Automation of Mathematical Induction as part of the History of Logic

09/24/2013 ∙ by J Strother Moore, et al. ∙ 0

We review the history of the automation of mathematical induction

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 6

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.