Logic for computer science: foundations of automatic theorem proving
Publication details: New York, John Wiley & Sons, Inc; 1987ISBN:- 0-471-61546-3
- 511.3 M7
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Mahatma Gandhi University Library | English | 511.3 M7 (Browse shelf(Opens below)) | Available | 00729 |
Total holds: 0
Browsing Mahatma Gandhi University Library shelves, Collection: English Close shelf browser (Hides shelf browser)
Includes bibliographical references and index
Jean H Gallier
There are no comments on this title.