Theorem proving in higher order logics : 20th international conference proceedings, TPHOLs, Kaiserslautern, Germany, Sept. 10-13, 2007
Language: English Series: Lecture notes in computer science ; v.4732Publication details: Berlin ; Springer- Verlag ; 2007Edition: Description: viii,399 p; 23 cmISBN: 978-3-540-74590-7Subject(s): | Computer Science and Engineering | 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:20:07 | Available | G54A12 | 214386 |
Total holds: 0
There are no comments on this title.