Image from Amazon.com
Handbook of logic in computer science
Material type:
TextLanguage: English Publication details: Clarendon Press 2000 OxfordDescription: xviii, 537pISBN: - 0198537816
- 004 H191a
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 004 H191a V.5 (Browse shelf(Opens below)) | Available | A145490 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004 D993 Dynamic formal epistemology | 004 F578 Firmware handbook the definitive guide to embedded firmware design and applications | 004 F962 Fundamental concepts in computer science | 004 H191a V.5 Handbook of logic in computer science | 004 H752c2 Computability and complexity theory [2nd ed.] | 004 J56e Testing of digital systems | 004 K927i Introduction to formal hardware verification |
Contents: V.5. Logic And Algebraic Methods V.2 Background : Computational Structure
There are no comments on this title.
Log in to your account to post a comment.