Automation of Mathematical Induction as part of the History of Logic
We review the history of the automation of mathematical induction
READ FULL TEXTWe review the history of the automation of mathematical induction
READ FULL TEXTUse your Google Account to sign in to DeepAI