Automated Mathematical Induction
by
Hantao Zhang
Hardcover
details (
USA
).
ISBN: 978-0-7923-4010-2
ISBN-10: 0-7923-4010-8
Springer
· 1996
