Automation of Mathematical Induction as part of the History of Logic
| Autor: | Moore, J Strother, Wirth, Claus-Peter |
|---|---|
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | IfCoLog Journal of Logics and their Applications, Vol. 4, number 5, pp. 1505-1634 (2017) |
| Druh dokumentu: | Working Paper |
| Popis: | We review the history of the automation of mathematical induction Comment: ii+107 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|