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 | Matrizes| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | CAV. 512 (Browse shelf) | Available | 1013162 |
Total holds: 0
There are no comments for this item.