Computer-aided reasoning : an approach Advances in formal methods
Material type: TextPublication details: Netherland kluwer Academic 2000Description: 270ISBN:- 9780792377443
- 004.0151 KAU
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Book Bank | CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 1 | Available | 26884 | |
Book Bank | CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 2 | Available | 26885 | |
Book Bank | CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 3 | Available | 26886 |
There are no comments on this title.