Logic For Computer Science Foundations of Automatic theorem Proving
Material type:
TextPublication details: New York John Wiley & sons 1987Description: XV+511 ppISBN: 10987654321Subject(s): Logic For Computer Science | Computer science automatic theorem perform logic;symbolic mathematics
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Engineering Book | MVJCE CENTRAL LIBRARY | Mathematics | 511.3 GAL (Browse shelf (Opens below)) | Available | 12866 | |
| Engineering Book | MVJCE CENTRAL LIBRARY | Mathematics | 511.3 GAL;1 (Browse shelf (Opens below)) | Available | 12867 |
Browsing MVJCE CENTRAL LIBRARY shelves, Collection: Mathematics Close shelf browser (Hides shelf browser)
| 511.3 DOE Applied Discrete Structures For Computer Science | 511.3 EPP 2 Discrete Mathematics with Applications | 511.3 GAL Logic For Computer Science Foundations of Automatic theorem Proving | 511.3 GAL;1 Logic For Computer Science Foundations of Automatic theorem Proving | 511.3 JOS Foundations of Discrete Mathematics | 511.3 JOS Applied Discrete Structures | 511.3 JOS;1 Foundations of Discrete Mathematics |
There are no comments on this title.