Models and computability / S. Barry Cooper, John K. Truss
Publication: Cambridge : University Press, 1999Description: IX, 419 p. : il. ; 23 cmISBN: 0-521-63550-0.Series: London Mathematical Society Lecture Note Series / N. J. Hitchin, 259Subject - Topical Name: Matemática computacional | Aritmética | Álgebra | TopologiaItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL | COO. 519.6 (Browse shelf) | Available | 1013116 |
Total holds: 0
Browsing Biblioteca do ISEL Shelves , Shelving location: Biblioteca do ISEL Close shelf browser
COO. 519.6 New directions in computational economics | COO. 519.6 Differential equations with maple | COO. 519.6 Finite element modeling for stress analysis | COO. 519.6 Models and computability | COO. 519.6 A Matlab companion for multivariable calculus | COO. 519.83 Sets and proofs | COO. 519.863 Handbook on data envelopment analysis |
Invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
There are no comments for this item.