Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

アマゾンで詳細を見る

カテゴリ/定価/発売日 本/14448円/2006-07-26 アクション (残り0枚)