Automation of Mathematical Induction as part of the History of Logic

Add code
Jul 28, 2014
J Strother Moore, Claus-Peter Wirth
Figure 1 for Automation of Mathematical Induction as part of the History of Logic
Figure 2 for Automation of Mathematical Induction as part of the History of Logic
Figure 3 for Automation of Mathematical Induction as part of the History of Logic
Figure 4 for Automation of Mathematical Induction as part of the History of Logic

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

We review the history of the automation of mathematical induction

* IfCoLog Journal of Logics and their Applications, Vol. 4, number 5, pp. 1505-1634 (2017)  * ii+107 pages  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon