B. C · B. F. Caviness · Bob F. · "F.C."
Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2: Research Contributions | 978-3-540-15984-1 (3-540-15984-3) | 2008 | |
Quantifier Elimination and Cylindrical Algebraic Decomposition | 978-3-211-82794-9 (3-211-82794-3) | 2013 | Jeremy R. Johnson |