Logic for computer science:foundations of automatic theorem proving
Material type: TextLanguage: English Publication details: New York Dover Publication 2015 Edition: 2nd. edDescription: xxiii, 496p. pbkISBN: 9780486780825 Subject(s): Automatic theorem proving | Logic, Symbolic and mathematicalDDC classification: 004.421Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17708 | |
Book | NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17251 | |
Book | NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17252 | |
Book | NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17253 |
There are no comments on this title.