Automated mathematical induction
By: edited by H. Zhang.
Contributors: Zhang, H.
Publisher: Kluwer Academic; Springer
Published: 1996
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 222
Subjects: Automatic theorem proving; Induction (Mathematics)
Other titles: Journal of automated reasoning.
Notes: Includes bibliographical references.
"Reprinted from Journal of automated reasoning 16 (nos. 1-2): 1-222, 1996."