Quantifier Elimination and Cylindrical Algebraic Decomposition
Quantifier Elimination and Cylindrical Algebraic Decomposition PDF book is popular Computers book written by Bob F. Caviness. The book was released by Springer Science & Business Media on 2012-12-06 with total hardcover pages 455. Fast download link is given in this page, you could read Quantifier Elimination and Cylindrical Algebraic Decomposition by Bob F. Caviness in PDF, epub and kindle directly from your devices.
Quantifier Elimination and Cylindrical Algebraic Decomposition
-
Quantifier Elimination and Cylindrical Algebraic Decomposition Book Detail
- Author : Bob F. Caviness
- Release Date : 2012-12-06
- Publisher : Springer Science & Business Media
- Genre : Computers
- Pages : 455
- ISBN 13 : 3709194598
- File Size : 89,89 MB