Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Geuvers, Herman (EDT)/ England, Matthew (EDT)/ Hasan, Osman (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2017/06発売)
  • ポイント 214pt
  • 海外取次在庫
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6898) (2011. X, 380 S.)
  • 洋書
  • ポイントキャンペーン

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6898) (2011. X, 380 S.)  Paperback

Herausgegeben von Van Eekelen, Marko/ Geuvers, Herman/ Schmaltz, Julien/ Wiedijk, Freek

  • ウェブストア価格 ¥13,691(本体¥12,447)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 248pt
  • 海外取次在庫