Item #B39893 Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts and Monographs in Symbolic Computation). B. F. Caviness, J R. Johnson.

Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts and Monographs in Symbolic Computation)

Wien: Springer, 1998. Paperback. Paperback, 1998, octavo, 431pp., not illustrated. Book near fine with mild wear to corners, binding tight, text clean bright and unmarked. No DJ. Near Fine. Item #B39893
ISBN: 9783211827949

Price: $43.00

See all items by ,