Reihe Texts & Monographs in Symbolic Computation Elimination Methods D. WangSpringer WienSoftcover2000106,99 € Computer - Human Interaction in Symbolic Computation Springer WienSoftcover1998106,99 € Quantifier Elimination and Cylindrical Algebraic Decomposition Springer WienSoftcover199853,49 € Advances in the Design of Symbolic Computation Systems Springer WienSoftcover1997106,99 € Polynomial Algorithms in Computer Algebra Franz WinklerSpringer WienSoftcover199653,49 € Mechanical Theorem Proving in GeometriesBasic PrinciplesWen-tsün WuSpringer WienSoftcover199453,49 €46 Treffer 1 2 3 4 5
