Automated reasoning with analytic tableaux and related methods : 16th international conference proceedings, TABLEAUX, Aix en Provence, France, July 3-6, 2007
Language: English Series: Lecture notes in artificial intelligencce ; v.4548 , Lecture notes in computer sciencePublication details: Berlin ; Springer ; 2007Edition: Description: x,245 p; 23 cmISBN: 978-3-540-73098-9Subject(s): | Computer Science and Engineering | 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.342:517.1Aut:16:07 | Available | G57B40 | 213708 |
Total holds: 0
There are no comments on this title.