![](/img/cover-not-exists.png)
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
Collins, George E.Volume:
10
Language:
english
Journal:
ACM SIGSAM Bulletin
DOI:
10.1145/1093390.1093393
Date:
February, 1976
File:
PDF, 245 KB
english, 1976