Computaional logic handbook
Material type:
- 511.3 B791
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata NBHM Collection | 511.3 B791 (Browse shelf(Opens below)) | Available | 112018 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: NBHM Collection Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
511.3 B628 Modal logic | 511.3 B628 Handbook of modal logic | 511.3 B724 Logic of provability | 511.3 B791 Computaional logic handbook | 511.3 B843 Proofs and confirmations | 511.3 B919 Finite automata, their algebras and grammars | 511.3 B956 Completeness and reduction in algebraic complexity theory |
There are no comments on this title.
Log in to your account to post a comment.