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

Please sign up or login with your details

Forgot password? Click here to reset