Coq/SSReflect/MathCompによる定理証明 - フリーソフトではじめる数学の形式化
  • 電子書籍
  • 電子書籍

Coq/SSReflect/MathCompによる定理証明 - フリーソフトではじめる数学の形式化

萩原学/アフェルト・レナルド

  • 価格 ¥3,520(本体¥3,200)
  • 森北出版株式会社(2018/04発売)
  • ポイント 32pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)