Automated reasoning: 33 basic research problems
Publication details: Englewood Prentice-Hall of India 1988Description: xiii, 319 pSubject(s):Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library | 004.83 WOS (Browse shelf(Opens below)) | Available | G0003780 |
There are no comments on this title.