All Formats & Editions
1 - 2 of 2 results found
Quantifier Elimination and Cylindrical Algebrai...
Edition Description
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...
Edition Details
Format:Unknown Binding
Language:English
ISBN:B007RBUVWW
Format: Unknown Binding
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Quantifier Elimination and Cylindrical Algebrai...
Edition Description
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...
Edition Details
Format:Paperback
Language:English
ISBN:3211827943
Format: Paperback
Condition:
$
60.42
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
