Quantifier Elimination and Cylindrical Algebraic Decomposition (Texts and monographs in symbolic computation)

von: Bob F. Caviness · Jeremy R. Johnson Taschenbuch Details (Österreich/Deutschland/Schweiz) ISBN: 978-3-211-82794-9 ISBN-10: 3-211-82794-3 Springer · 2013