DeepAI
AI Chat AI Image Generator AI Video AI Music Generator

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