Computer-aided reasoning : an approach Advances in formal methods
Material type:
- 9780792377443
- 004.0151 KAU
Item type | Current library | Collection | Call number | Copy number | Status | Barcode | |
---|---|---|---|---|---|---|---|
![]() |
CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 1 | Available | 26884 | |
![]() |
CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 2 | Available | 26885 | |
![]() |
CUTN Central Library Book Bank | Non-fiction | 004.0151 KAU (Browse shelf(Opens below)) | 3 | Available | 26886 |
There are no comments on this title.
Log in to your account to post a comment.