Computer science logic : 23rd international workshop proceedings, CSL, 18th annual conference of the EACSL, Coimbra, Portugal, Sep. 7-11, 2009
Language: English Series: Lecture notes in computer science ; v. 5771Publication details: Berlin ; Springer ; 2009Edition: Description: xi,565 p; 23.5 cmISBN: 978-3-642-04026-9Subject(s): | Computer Science and Engineering | Logic, Symbolic and mathematical-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3:517.1Com:09 | Available | G54A08 | 223558 |
Total holds: 0
There are no comments on this title.