most citedAutomation of Mathematical Induction as part of the History of Logic

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2013★ 4 cited

Automation of Mathematical Induction as part of the History of Logic

J Strother Moore, Claus-Peter Wirth

We review the history of the automation of mathematical induction