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 |
---|---|---|---|---|---|
![]() |
University Library | 004.83 WOS (Browse shelf(Opens below)) | Available | G0003780 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
There are no comments on this title.