Essential Logic for Computer Science (The Mit Press)
  • 洋書
  • 電子版あり

Essential Logic for Computer Science (The Mit Press)  Hardcover,  言語:ENG

Page, Rex/ Gamboa, Ruben

  • ウェブストア価格 ¥10,419(本体¥9,472)
  • MIT Press(2019/01発売)
  • ポイント 94pt
  • 海外取次在庫
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Klein, Gerwin (EDT)/ Gamboa, Ruben (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 104pt
  • 海外取次在庫