Logic for Computer Science: Foundations of Automatic Theorem Proving
Material type:
TextPublication details: New York Dover Publications 2015Edition: 2/eDescription: xxiii, 496pISBN: - 9780486780825
- 511.360 Gal
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
Reference
|
IIT Goa Central Library | Technical | 511.360/Gal (Browse shelf(Opens below)) | 1 | Reference | 3689|| 22-11-19|| 25.00%|| USD 32.95 | 3157 |
Total holds: 0
Browsing IIT Goa Central Library shelves, Collection: Technical Close shelf browser (Hides shelf browser)
| 511.352/Aro Computational Complexity: A Modern Approach | 511.352/Aro Computational Complexity: A Modern Approach | 511.352/BOO Computability and Logic | 511.360/Gal Logic for Computer Science: Foundations of Automatic Theorem Proving | 511.36/Tak Proof Theory | 511.42/MOO Introduction to interval analysis / | 511.43/Bev Data Reduction and Error Analysis for the Physical Sciences |