Logic Colloquium 2006
Material type: TextPublication details: Cambridge Cambridge University Press 2009Description: ix, 373 p. ; 23 cmISBN:- 9780521110815
- 511.3 COO
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Reference Books | LRC, IIT Indore 3rd Floor - Reference Collection | Reference | 511.3 COO (Browse shelf(Opens below)) | Not For Loan | 10505 |
Total holds: 0
Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - Reference Collection, Collection: Reference Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.3 ANT Non monotonic reasoning | 511.3 BIE Handbook of satisfiability | 511.3 BRA Hybrid logic and its proof-theory | 511.3 COO Logic Colloquium 2006 | 511.3 FIS An introduction to practical formal methods using temporal logic | 511.3 MAD Mathematical thinking and writing : A transition to abstract mathematics | 511.3 MAR Introduction to Mathematics of Satisfiability |