Smith Corona

Quantifier Elimination and Cylindrical Algebraic Decomposition

Description: Friends of the Chattanooga Public Librar presents ... Quantifier Elimination and Cylindrical Algebraic Decomposition ISBN:3211827943 Author:Caviness, Bob F (Editor), and Johnson, Jeremy R (Editor) Publisher:Springer Release Date:1998 Seller Category:-- Qty Available:1 Condition:Used: Very Good Sku: 2012041998 Notes: Don't forget to check out other great deals in our eBay Store!!

Price: 38 USD

Location: Chattanooga, Tennessee

End Time: 2025-01-20T09:58:38.000Z

Shipping Cost: 5.38 USD

Product Images

Quantifier Elimination and Cylindrical Algebraic Decomposition

Item Specifics

All returns accepted: ReturnsNotAccepted

Item Length: 9.6in

Item Width: 6.7in

Author: J. R. Johnson, Bob F. Caviness

Publication Name: Quantifier Elimination and Cylindrical Algebraic Decomposition

Format: Trade Paperback

Language: English

Publisher: Springer

Series: Texts and Monographs in Symbolic Computation Ser.

Publication Year: 1998

Type: Textbook

Item Weight: 30.3 Oz

Number of Pages: XIX Exotic Alloys, 431 Pages

Recommended

Second-order Quantifier Elimination: Foundations, Computational Aspects and Appl
Second-order Quantifier Elimination: Foundations, Computational Aspects and Appl

$28.33

View Details
Quantifier Elimination and Cylindrical - Paperback, by Caviness Bob F. - Good
Quantifier Elimination and Cylindrical - Paperback, by Caviness Bob F. - Good

$56.26

View Details
Caviness - Quantifier Elimination and Cylindrical Algebraic Decomposi - S9000z
Caviness - Quantifier Elimination and Cylindrical Algebraic Decomposi - S9000z

$69.80

View Details
Dov Gabbay Renate A. Schmidt An Second-order Quantifier (Paperback) (UK IMPORT)
Dov Gabbay Renate A. Schmidt An Second-order Quantifier (Paperback) (UK IMPORT)

$35.13

View Details
Schultz - Quantifier Elimination over Real Closed Fields- Mathematical - S555z
Schultz - Quantifier Elimination over Real Closed Fields- Mathematical - S555z

$82.23

View Details
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Tec
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Tec

$78.01

View Details
Quantifier Elimination and Cylindrical Algebraic Decomposition by Bob F. Cavines
Quantifier Elimination and Cylindrical Algebraic Decomposition by Bob F. Cavines

$71.66

View Details
B F Caviness / Quantifier Elimination and Cylindrical Algebraic Decomposition
B F Caviness / Quantifier Elimination and Cylindrical Algebraic Decomposition

$56.00

View Details
Second-order Quantifier Elimination: Foundations, Computational Aspects and
Second-order Quantifier Elimination: Foundations, Computational Aspects and

$26.90

View Details
Second-order Quantifier Elimination: Foundations, Computational Aspects and
Second-order Quantifier Elimination: Foundations, Computational Aspects and

$31.98

View Details