Quantifier Elimination and Cylindrical Algebraic Decomposition
by Caviness, Bob F
Available Copies
Quantifier Elimination and Cylindrical Algebraic Decomposition
by Caviness, Bob F (Editor), and Johnson, Jeremy R (Editor)
- Condition
- Used - Very good. Minimal wear to cover
- Edition
- Softcover Reprint of the Origi e
- Published
- 1998
- Binding
- Trade paperback
- ISBN
- 9783211827949
- Quantity Available
- 1
- Seller
-
Chattanooga, Tennessee, USA
- Item Price
-
A$58.15
Show Details
Description:
Springer, 1998. Softcover Reprint of the Origi e. Trade paperback. Very good. Minimal wear to cover. Item Price
A$58.15
Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts & Monographs in Symbolic Computation)
by Caviness, Bob F. [Editor]; Johnson, Jeremy R. [Editor];
- Condition
- New
- Published
- 1998-04-16
- Binding
- Paperback
- ISBN
- 9783211827949
- Quantity Available
- 1
- Seller
-
San Diego, California, USA
- Item Price
-
A$292.97
Show Details
Description:
Springer, 1998-04-16. Paperback. New. New. In shrink wrap. Looks like an interesting title! Item Price
A$292.97
Quantifier Elimination and Cylindrical Algebraic Decomposition
by Bob F. Caviness
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783211827949
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$116.92
Show Details
Description:
Paperback / softback. New. George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. Item Price
A$116.92
Quantifier Elimination and Cylindrical Algebraic Decomposition
by Caviness, Bob F. (Editor)/ Johnson, J. R. (Editor)
- Condition
- New
- Published
- 1998
- Binding
- Paperback
- ISBN
- 9783211827949
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$118.56
Show Details
Description:
Springer Verlag, 1998. Paperback. New. 450 pages. 9.75x6.75x0.75 inches. Item Price
A$118.56
Quantifier Elimination and Cylindrical Algebraic Decomposition
by Bob F. Caviness
- Condition
- New
- ISBN
- 9783211827949
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$103.31
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Quantifier Elimination and Cylindrical Algebraic Decomposition. Item Price
A$103.31