Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science)

アマゾンで詳細を見る

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