BibTeX
@MISC{Bundy97theautomation,
author = {Alan Bundy},
title = {The automation of proof by mathematical induction},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
