DeepAI
AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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

Refill your membership to continue using DeepAI

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×

Consider DeepAI Pro