Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings (Lecture Notes in Computer Science)

アマゾンで詳細を見る

カテゴリ/定価/発売日 本/10912円/2007-06-21 アクション (残り0枚)