Cover Image

Quantifier elimination and cylindrical algebraic decomposition /

Show other versions (1)
Bibliographic Details
Other Authors: Caviness, Bob F., Johnson, J. R. (Jeremy R.)
Format: Book
Language:English
Published: Wien ; New York : Springer, [1998]
Series:Texts and monographs in symbolic computation.
Subjects:
Algebra > Data processing > Congresses.
Decomposition method > Data processing > Congresses.
Algorithms > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA155.7.E4 Q36 1998
 
Call Number Status Get It
QA155.7.E4 Q36 1998 Available