Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 : proceedings / Didier Galmiche, Dominique Larchey-Wendling (editors)
Series: Lecture notes in computer science ; 8123 | Lecture notes in computer science. Lecture notes in artificial intelligence | LNCS sublibrary. SL 7, Artificial intelligencePublisher: Heidelberg : Springer, 2013Copyright date: ©2013Description: 1 online resource (x, 289 pages) : illustrationsContent type:- text
- computer
- online resource
- 3642405371 (ebook)
- 9783642405372 (ebook)
- TABLEAUX 2013
- 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 2013 (Browse shelf(Opens below)) | Online Access | 11100444575 |
Includes bibliographical references and index.