Automation of Mathematical Induction as part of the History of Logic
2013-09-24Unverified0· sign in to hype
J Strother Moore, Claus-Peter Wirth
Unverified — Be the first to reproduce this paper.
ReproduceAbstract
We review the history of the automation of mathematical induction