Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Lecture Notes in Artificial Intelligence
Beckert, Bernhard
- 出版社：Springer Verlag
- 出版年月：2005年 11月
- ISBN：9783540289319
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：343 p.
- 分類： 人工知能
- DDC分類：006.3
- 内容紹介：
-
Subseries: Lecture Notes in Artificial Intelligence.