Customer Feedback
Sign in Sign in
Login
Login

Email*

Password* Toon Hide Forgot your password?

Don't have an account yet?
Create account
Basket

Automated Mathematical Induction

Name: Automated Mathematical Induction
Brand: Springer
SKU: 9780792340102
Price: 85.49 GBP
Availability: InStock

Product form

£85.49

Includes FREE delivery

RRP £89.99 – you save £4.50 (5%)

Order before 4pm today for delivery by Wed 24 Jun 2026.

A Hardback by Hantao Zhang

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Automated Mathematical Induction by Hantao Zhang

Publisher: Springer
Publication Date: 31/05/1996
ISBN13: 9780792340102, 978-0792340102
ISBN10:

Also in:
Computing Artificial intelligence (AI) Mathematics Mathematical foundations Mathematical logic