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)
詳しい情報
出版社: Springer(2011-06-22)
ペーパーバック: 287 ページ / 15.2 x 1.3 x 22.9 cm
ISBN-10: 3642221181 ISBN-13: 9783642221187