Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / Martin Giese, Arild Waaler (editors)
Series: Lecture notes in computer science ; 5607 | Lecture notes in computer science. Lecture notes in artificial intelligence | LNCS sublibrary. SL 7, Artificial intelligencePublisher: Berlin ; New York : Springer, 2009Copyright date: ©2009Description: 1 online resource (xii, 340 pages) : illustrationsContent type:- text
- computer
- online resource
- 3642027164
- 9783642027161 (ebook)
- QA76.9.A96
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| e-Book | M. Kamal Hassan Library | M. Kamal Hassan Library | E-Book Collection | Web | eb QA 76.9 A96 T33 2009 (Browse shelf(Opens below)) | Online Access | 11100444573 |
Includes bibliographical references and index.