First-order logic and automated theorem proving. by Melvin Fitting.
Material type: BookSeries: Texts and Monographs in computer sciencePublication details: New York S-V 1990Description: xiii, 242pISBN:- 0387972331
- 511.3 N901
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 511.3 N901 (Browse shelf(Opens below)) | Available | 144749 |
There are no comments on this title.