![](/img/cover-not-exists.png)
[ACM Press the 1998 international symposium - Rostock, Germany (1998.08.13-1998.08.15)] Proceedings of the 1998 international symposium on Symbolic and algebraic computation - ISSAC '98 - Approaches to parallel quantifier elimination
Dolzmann, Andreas, Gloor, Oliver, Sturm, ThomasYear:
1998
Language:
english
DOI:
10.1145/281508.281564
File:
PDF, 244 KB
english, 1998