1～1件／全1件 セーフサーチON
  •  
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)

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