Clausal form logic : an introduction to the logic of computer reasoning . by Tom Richards
Material type: BookSeries: International computer science series ; Publication details: Wokingham Addison-Wesley 1989Description: xiii, 359pISBN:- 0201129205
- 006.3 N8920
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 006.3 N8920 (Browse shelf(Opens below)) | Available | 146639 |
There are no comments on this title.