1～2件／全2件 セーフサーチON
  •  
Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) （2026. x, 390 S. X, 390 p. 40 illus. 235 mm）
  • 洋書
  • 予約
  • ポイントキャンペーン

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) （2026. x, 390 S. X, 390 p. 40 illus. 235 mm）  Hardcover,  言語：ENG

Herausgegeben:Blanchette, Jasmin/ Mahboubi, Assia

  • ウェブストア価格 ¥20,538（本体¥18,671）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2026発売）
  • ポイント 372pt
  • ご予約受付中。出版後の入荷・発送
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science) （2018）
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science) （2018）  Paperback,  言語：ENG

Avigad, Jeremy (EDT)/ Mahboubi, Assia (EDT)

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