Quantifier Elimination and Cylindrical Algebraic Decomposition. (Texts and Monographs in Symbolic Computation) (Few-Body Systems)

von: B. F. Caviness · J. R. Johnson Springer, Wien · 1998 Taschenbuch Details (Österreich/Deutschland/Schweiz) Details (USA) Details (Großbritannien) Details (Kanada) Details (Frankreich) Details (Italien) ISBN: 978-3-211-82794-9 ISBN-10: 3-211-82794-3