Quantifier Elimination and Cylindrical Algebraic Decomposition by Springer Verlag GmbH (Paperback, 1998)

Brand new: lowest price

AU $131.41

Free postage
  • Get it by Fri, 25 May - Tue, 12 Jun from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
2 Importance of QE and CAD Algorithms. - 3 Alternative Approaches. - 4 Practical Issues. - Quantifier Elimination by Cylindrical Algebraic Decomposition - Twenty Years of Progress. - 1 Introduction.