![](/img/cover-not-exists.png)
Quantifier elimination for real closed fields by cylindrical algebraic decomposition--preliminary report
Collins, George E.Volume:
8
Language:
english
Journal:
ACM SIGSAM Bulletin
DOI:
10.1145/1086837.1086852
Date:
August, 1974
File:
PDF, 830 KB
english, 1974