Automation of reasoning -1 classical papers on computational logic 1957-1966 ed. by Jorg Siekmann and Graham Wrightson
Material type: BookPublication details: Berlin Springer-Verlag 1983Description: xii, 525pISBN:- 3540120432
- 001.535 N832.1
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | JRD Tata Memorial Library | 001.535 N832.1 (Browse shelf(Opens below)) | Available | 118241 |
There are no comments on this title.