Quantifier elimination and cylindrical algebraic decomposition / B. F. Caviness, J. R. Johnson
Publication: New York : SpringerWien, 1998Description: XIX, 431 p. : il. ; 24 cmISBN: 3-211-82794-3.Series: Texts and Monographs Symbolic Computation / B. BuchbergerSubject - Topical Name: Álgebra | Processamento de dados | Algoritmos | MatrizesItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | CAV. 512 (Browse shelf) | Available | 1013162 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
CAU. 004.55Pro Professional XML web services | CAU. 340.134 Contencioso administrativo | CAU. 531 Teoria y práctica industrial del rozamiento | CAV. 512 Quantifier elimination and cylindrical algebraic decomposition | CAV. 519.6 Digital computer arithmetic | CAV. 519.6 Digital computer arithmetic | CAV. 614.8 Sector do material eléctrico e electrónico |
There are no comments for this item.