1～2件／全2件 セーフサーチON
  •  
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) （2012. 2012. XIV, 500 S. 235 mm）
  • 洋書

Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7317) （2012. 2012. XIV, 500 S. 235 mm）  Paperback

Herausgegeben von Cimatti, Alessandro/ Sebastiani, Roberto

  • ウェブストア価格 ¥12,544（本体¥11,404）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 114pt
  • 海外取次在庫
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語：ENG

Galmiche, Didier (EDT)/ Schulz, Stephan (EDT)/ Sebastiani, Roberto (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 102pt
  • 海外取次在庫
1～2件／全2件
  •