94
Voted
BIRTHDAY
2005
Springer
15 years 25 days 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...