1～2件／全2件 セーフサーチON
  •  
Essential Logic for Computer Science (The Mit Press)
  • 洋書
  • 電子版あり

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

Page, Rex/ Gamboa, Ruben

  • ウェブストア価格 ¥11,193（本体¥10,176）
  • MIT Press（2019/01発売）
  • ポイント 101pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,310（本体¥11,191）
  • Springer International Publishing AG（2014/08発売）
  • ポイント 111pt
  • 海外取次在庫
1～2件／全2件
  •