Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zhang, H. Preface to the special issue on Automated Mathematical induction. J Autom Reasoning 16, 1 (1996). https://doi.org/10.1007/BF00244457
Issue Date:
DOI: https://doi.org/10.1007/BF00244457