Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

by Claudia Schultz

0 ratings • 0 reviews • 0 shelved
Book cover for Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 383641306X
  • ISBN13 9783836413060
  • Publish Date 18 June 2007
  • Publish Status Active
  • Publish Country DE
  • Imprint VDM Verlag Dr. Mueller E.K.
  • Format Paperback (US Trade)
  • Pages 128
  • Language English