Logic for computer science:foundations of automatic theorem proving
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17708 | |
![]() |
NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17251 | |
![]() |
NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17252 | |
![]() |
NISER LIBRARY | 004.421 GAL-L (Browse shelf(Opens below)) | Available | 17253 |
There are no comments on this title.