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