Automation of reasoning 2 calssical papers on computational logic 1967-1970 editors Jorg Siekmann and Graham Wrightson
Material type: TextSeries: Symbolic computationPublication details: Berlin Springer-Verlag 1983Description: xii, 637pISBN:- 3540120440
- 001.69160 S571A.2
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
General Books | Govind Ballabh Pant University of Agriculture and Technology | 001.69160 S571A.2 0.2 (Browse shelf(Opens below)) | 0.2 | Available | 306396 |
There are no comments on this title.