DeepAI
Chat Image Generator Video Music Voice Chat Photo Editor

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

Out of credits

Automatically add credits when your balance is low. Never run out again!
Success!
Error Icon An error occurred

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×

Consider DeepAI Pro