Automated mathematical induction /
edited by H. Zhang.
APA Citation
Zhang, H. (Hantao). (1996). Automated mathematical induction. Dordrecht: Kluwer Academic.
MLA Citation
Zhang, H. (Hantao). Automated Mathematical Induction. Dordrecht: Kluwer Academic, 1996.
Warning: These citations may not always be complete (especially for serials).