Theorem proving in higher order logics : 18th international conference proceedings, TPHOLs, Oxford, UK, Aug. 22-25, 2005
Language: English Series: Lecture notes in computer science ; v.3603Publication details: Berlin ; Springer ; 2005Edition: Description: ix,409 p; 24 cmISBN: 3-540-28372-2Subject(s): | Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-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.1The:18:05 | Available | G54A12 | 207739 |
Total holds: 0
There are no comments on this title.