Quantifier elimination and cylindrical algebraic decomposition/ B.F. Caviness, J.R. Johnson (eds.).
Series: Texts and monographs in symbolic computationPublication details: Wien: New York: Springer, c1998.Description: xix, 431 p.: ill.; 25 cmISBN:- 3211827943 (pbk. : acid-free paper)
- Quantifier elimination [Spine title]
- 512.002 Q1
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 512.002 Q1 1998 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000231087 |
Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria.
Includes bibliographical references (p. [393]-419) and index.
There are no comments on this title.