Search the Library Catalogue
Semantics and logics of computation edited by Andrew M. Pitts, Peter Dybjer
Publication details: Cambridge Cambridge University Press 1997Description: xii, 361 p. : ill. ; 24 cmISBN:- 9780521580571
- 96050390
- 004.0151 PIT
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 004.0151 PIT (Browse shelf(Opens below)) | Available | 105899 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| 004.0151 MEN Frontiers of evolutionary computation | 004.0151 MUS Engineering computations | 004.0151 OVE Numerical computing with IEEE floating point arithmetic : including one theorem, one rule of thumb, and one hundred and one exercises | 004.0151 PIT Semantics and logics of computation | 004.0151 SIN Mathematical foundation of computer science | 004.0151 SOM Machine learning with SVM and other kernel methods | 004.0151 STA Beginning math and physics for game programmers |
Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.