Automation of reasoning; v.2 ed.by Jorg Siekmann and Graham Wrightson.
Material type: BookPublication details: New York Springer-Verlag 1983Description: xii, 637pISBN:- 3540120440
- 001.535 N832.2
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 001.535 N832.2 (Browse shelf(Opens below)) | Available | 118242 |
There are no comments on this title.