Logic for computer science foundations of automatic theorem proving by Jean H. Gallier
Material type: BookSeries: Harper And Row Computer Science and Technology SeriesPublication details: Cambridge Harper & Row, Pub. 1986Description: xiv, 511pISBN:- 006042254
- 511.3 N861
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | JRD Tata Memorial Library | 511.3 N861 (Browse shelf(Opens below)) | Available | 132536 |
There are no comments on this title.