Selected Works of Wen-Tsun Wu
Wen-Tsun Wu
₹3,721
Mechanical Theorem Proving in Geometries
Basic Principles
by Wen-Tsun Wu
Springer Verlag · 1994 · Paperback
₹2,664
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
Mechanical Theorem Proving in Geometries: Basic Principles by Wen-Tsun Wu is a 288-page paperback edition published by Springer Verlag in 1994. It belongs to the Texts and monographs in symbolic computation series.
Its main subjects are Analytic geometry, Mathematical theory of computation, Set theory and Logic.
Book details
- ISBN-13
- 9783211825068
- ISBN-10
- 3211825061
- Author
- Wen-Tsun Wu
- Publisher
- Springer Verlag
- Published
- 1994
- Series
- Texts and monographs in symbolic computation
- Edition
- Softcover Reprint of the Original 1st 1994 ed.
- Binding
- Paperback
- Pages
- 288
- Language
- English
- Condition
- New
More by Wen-Tsun Wu and related titles
Rational Homotopy Type
Wen-tsün Wu
₹5,158
Data Structures and Efficient Algorithms
Burkhard Monien, Thomas Ottmann
₹5,576
Formal Specification Using Z
David Lightfoot
₹2,706
Mathematical Foundations of Computer Science 1991
Andrzej Tarlecki
₹5,602
Mathematical Foundations of Computer Science 1994
Igor Privara, Branislav Rovan, Peter Ruzicka
₹5,159
Parallel Scientific Computing
Jack Dongarra, Jerzy Wasniewski
₹5,026
Randomization and Approximation Techniques in Computer Science
Salil Vadhan
₹5,104
Practical Handbook of Genetic Algorithms
Lance D. Chambers
₹4,845
Mathematical Studies on Human Disease Dynamics
AMS-IMS-SIAM Joint Summer Research Conference on "Modeling the dynamics of human disease: emerging paradigms and challenges" (2005 Snowbird, Utah)
₹21,052
Local Search for Planning and Scheduling
Alexander Nareyek
₹5,464
Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson
₹5,718