The Digitally Disposed
Seb Franklin
₹2,225
Automated Mathematical Induction
by Hantao Zhang
Springer · 2011 · Paperback
₹10,100
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Automated Mathematical Induction by Hantao Zhang is a 222-page paperback edition published by Springer in 2011.
The book deals with Automatic theorem proving and Induction (mathematics).
Book details
- ISBN-13
- 9789401072502
- ISBN-10
- 9401072507
- Author
- Hantao Zhang
- Publisher
- Springer
- Published
- 2011
- Edition
- Softcover reprint of the original 1st ed. 1996
- Binding
- Paperback
- Pages
- 222
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Police and Society in Brazil
Wesley G. Skogan, Vicente Riccio
₹14,290
Pro ASP.NET Core 6
Adam Freeman
₹4,603
Metric Learning
Aurelien Bellet, Amaury Habrard, Marc Sebban
₹3,189
Shock Waves and Explosions
P. L. Sachdev
₹3,676
New Advances in Distributed Computer Systems
K. G. Beauchamp
₹4,270
Notes in the Category of C
Steven Niemi
₹2,808
Smart Electric and Hybrid Vehicles
Ajay
₹5,870
Advanced Data Mining Tools and Methods for Social Computing
Sourav De, Sandip Dey, Siddhartha Bhattacharyya, Surbhi Bhatia
₹8,249
Multimodal Data Fusion for Bioinformatics Artificial Intelligence
Umesh Kumar Lilhore, Vishal Dutt, Abhishek Kumar, Narayan Vyas, Sarita Simaiya
₹21,053
Structural Genomics on Membrane Proteins
Kenneth H. Lundstrom
₹11,535
Programmer's View of the Intel 432
Elliott I. Organick
₹3,209