Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Felty, Amy P. (EDT)/ Middeldorp, Aart (EDT)

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer International Publishing AG(2015/07発売)
  • ポイント 97pt
  • 海外取次在庫
Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer
  • 洋書

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer  Paperback,  言語:ENG

Beringer, Lennart (EDT)/ Felty, Amy (EDT)

  • ウェブストア価格 ¥10,730(本体¥9,755)
  • Springer Verlag(2012/07発売)
  • ポイント 97pt
  • 海外取次在庫