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

  • ウェブストア価格 ¥21,342（本体¥19,402）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2026発売）
  • ポイント 194pt
  • 海外からお取り寄せ（通常6～9週間）
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 (Theoretical Computer Science and General Issues) （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 (Theoretical Computer Science and General Issues) （2018）  Paperback,  言語：ENG

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

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