APA Citation

Hantao Zhang. (1996). Automated Mathematical Induction (1st ed. 1996.). Dordrecht: Springer Netherlands.

Chicago Style Citation

Hantao Zhang. Automated Mathematical Induction. 1st ed. 1996. Dordrecht: Springer Netherlands, 1996.

MLA Citation

Hantao Zhang. Automated Mathematical Induction. 1st ed. 1996. Dordrecht: Springer Netherlands, 1996.

Warning: These citations may not always be 100% accurate.