Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings / Bernhard Beckert (ed.).
| Author/creator | TABLEAUX 2005 (2005 : Koblenz, Germany) |
| Other author/creator | Beckert, Bernhard. |
| Format | Electronic, Book, and Print |
| Publication Info | Berlin ; New York : Springer, 2005. |
| Description | xiii, 342 pages : illustrations ; 24 cm. |
| Supplemental Content | Restricted to SpringerLink subscribers |
| Subject(s) |
Click here for more information about this title
| Portion of title | TABLEAUX 2005 |
| Series | Lecture notes in computer science, 0302-9743 ; 3702. Lecture notes in artifical intelligence Lecture notes in computer science 3702. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| Other forms | Also issued online. |
| LCCN | 2005931930 |
| ISBN | 3540289313 (pbk.) |
| ISBN | 9783540289319 |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA76.9.A96 T33 2005 | ✔ Available | Place Hold |