中古あり ￥10,912より
(2025/12/17 02:12:32時点)
Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues)
詳しい情報
出版社: Springer(2016-06-12)
ペーパーバック: 588 ページ / 15.5 x 3.4 x 23.5 cm
ISBN-10: 3319409697 ISBN-13: 9783319409696