Logics for computer science
Publication details: New Delhi Prentice- Hall of India 2004Edition: Description: ix,369pISBN:- 81-203-2284-3
- 510.6:681.31
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
University Library | 510.6:681.31 SIN (Browse shelf(Opens below)) | Available | 00057272 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | |||||
510.66.096 COM.1 Chambers six figure mathematical tables | 510.6:681.31 CAF Logic for computer science and artificial intelligence | 510.6:681.31 MOS Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989 | 510.6:681.31 SIN Logics for computer science | 510.67 ADD Proceedings: The theory of maodels | 510.67 CHO E-recursion, forcing and C*-algebras | 510.67 CUN Mathematical models |
There are no comments on this title.