Computational logic
Material type:
TextLanguage: English Series: Series F,, Computer and systems sciences ;, v. 165Publication details: New York : . Springer, 1999Description: 444p. ; 22 cmISBN: 3540645896Subject(s): Computer logic | Preuve, Théorie de la -- Congrès | Projeto lógico de computadores (congressos)DDC classification: 004.015113
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Mysore University Main Library | 004.015113 BER.S (Browse shelf (Opens below)) | Available | 426374 |
Browsing Mysore University Main Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
| 004 WIL Beginning XSLT and Xpath trasforming XML documents and data | 004.0151 BHA Mathematics of computing / | 004.0151 MAK Sets, logic and maths for computing / | 004.015113 BER.S Computational logic | 004.019 BER Information appliances and beyond : | 004.019 BER Information appliances and beyond : | 004.019 BHA Human - Computer interaction : |
There are no comments on this title.