1～1件／全1件 セーフサーチON
  •  
Theory and Applications of Satisfiability Testing – SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
  • 洋書電子書籍
  • 電子書籍

Theory and Applications of Satisfiability Testing – SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings  言語：ENG

Beyersdorff, Olaf (EDT)/Wintersteiger, Christoph M. (EDT)

  • 価格 ¥10,117（本体¥9,198）
  • Springer（2018/06/27発売）
  • ポイント 91pt　（実際に付与されるポイントはご注文内容確認画面でご確認下さい）
1～1件／全1件
  •