Books listed by ISBN
>
Springer
> Hantao Zhang
Hantao Zhang
title
ISBN-13
(ISBN-10)
year of publication
Automated Mathematical Induction
978-O-7923-4O1O-2
(O-7923-4O1O-8)
1996
H. Zhang
·
Hamid Zanaz
·
Hande Zhang
Hanzhi Zhang