中古あり ￥15,579より
(2025/10/13 22:49:08時点)
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science, 4121)
お気に入り図書館の蔵書
設定
詳しい情報
出版社: Springer(2008-06-13)
ペーパーバック: 448 ページ / 15.5 x 2.6 x 23.5 cm
ISBN-10: 3540372067 ISBN-13: 9783540372066