Formal models of computation : the ultimate limits of computing
Material type: TextLanguage: English Series: AMAST series in computing; vol.7Publication details: World Scientific c2001Description: xiv, 532pISBN:- 9789810245009 (HB)
- 004.015113 FLE(FOR)
Item type | Current library | Call number | Copy number | Status | Barcode | |
---|---|---|---|---|---|---|
Books | Central Library | 004.015113 FLE(FOR) (Browse shelf(Opens below)) | 1 | Available | 11895 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
004.015113 DOW(ALG) Algorithmic randomness and complexity | 004.015113 FIT(FIR) First-order logic and automated theorem proving : second edition | 004.015113 FLE(FOR) Formal models of computation: the ultimate limits of computing | 004.015113 FLE(FOR) Formal models of computation : the ultimate limits of computing | 004.015113 HED(FIR) A first course in logic: an introduction to model theory, proof theory, computability, and complexity | 004.015113 HOM(AUT) Automata theory and formal languages | 004.015113 ILA(CEL) Cellular Automata: a discrete universe |
MD/1/1256/09-10/16-03-10
There are no comments on this title.
Log in to your account to post a comment.