Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
Author(s)
Bibliographic Information
Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
（Lecture notes in computer science, 6793 . Lecture notes in artificial intelligence）
Springer, c2011
- Other Title
-
TABLEAUX 2011
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
International conference proceedings
Includes bibliographical references and author index