Logic for computer science : foundations of automatic theorem proving by Jean H. Gallier.
Material type: BookPublication details: New York John Wiley 1987Description: xv, 511pISBN:- 0471615463
- 511.3 N877
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 511.3 N877 (Browse shelf(Opens below)) | Available | 141604 |
There are no comments on this title.