Design to Test
John Turino
₹4,257
Automated Deduction in Equational Logic and Cubic Curves
by William McCune, R. Padmanabhan
Springer · 1996
₹5,560
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 Deduction in Equational Logic and Cubic Curves by William McCune & R. Padmanabhan is a 231-page book published by Springer in 1996. It belongs to the Lecture notes in computer science series.
Its main subjects are Algebraic Curves, Automatic theorem proving, Algebraische Kurve and Gleichungstheorie.
Book details
- ISBN-13
- 9783540613985
- ISBN-10
- 3540613986
- Authors
- William McCune, R. Padmanabhan
- Publisher
- Springer
- Published
- 1996
- Series
- Lecture notes in computer science
- Pages
- 231
- Language
- English
- Condition
- New
Related books
Practical Synthesis of High-Performance Analog Circuits
Emil S. Ochotta, Rob A. Rutenbar, Larry Richard Carley, Tamal Mukherjee
₹11,586
Appalachia's Coal-Mined Landscapes
Jeff Skousen Carl E. Zipper
₹4,661
Microquasars
Alberto J. Castro-Tirado
₹12,022
X-Ray Spectroscopy with Synchrotron Radiation
Stephen P. Cramer
₹12,344
Elementare Schalenstatik
A. Pflüger
₹2,875
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
Domenico Ursino
₹3,398
Hybrid Artificial Intelligent Systems
Emilio Corchado, Marek Kurzynski, Michal Wozniak
₹5,661
Nonstandard Analysis for the Working Mathematician
Peter A. Loeb, Manfred P. H. Wolff
₹8,530
Essentials of Stochastic Processes
Richard Durrett
₹3,653
Evidence-Based Laryngology
Rosow D.e
₹9,755
Umweltrecht
Detlef Kröger, S. Dinter, Ingo Klauß
₹2,269