Logical Basis for Computer Programming, Vol 2 Deductive system by Zohar Manna and Richard Waldinger
Material type: BookSeries: v.2 Deductive systemsPublication details: Reading Addison-Wesley 1990Description: xiii, 642pSubject(s): DDC classification:- 005.1 N85.2
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 005.1 N85.2 (Browse shelf(Opens below)) | Available | 144136 |
There are no comments on this title.