Image from Amazon.com
Computational logic
Material type:
TextSeries: NATo ASI SeriesPublication details: Berlin Springer-Verlag 1999Description: 444pISBN: - 3540645896
- 004.01 C738
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 004.01 C738 (Browse shelf(Opens below)) | Available | A136805 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004 W151t2 The TAO of computing [2nd ed.] | 004 W67e Explorations in quantum computing | 004 W67q2 Explorations in quantum computing [2nd ed.] | 004.01 C738 Computational logic | 004.0151 F329m Mathematical foundations of computer science [v.1 : Sets, Relations and Induction] | 004.0151 G188d3 Discrete mathematics proofs, structures, and applications [3rd edition] | 004.0151 G322m5 Mathematical structures for computer science [5th ed.] |
There are no comments on this title.
Log in to your account to post a comment.