132
Voted
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...