Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
著者
書誌事項
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
- タイトル別名
-
TABLEAUX 2011
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
International conference proceedings
Includes bibliographical references and author index