Socialtunes
Socialtunes
コンテンツ
ログイン
メールアドレス
パスワード
次回から自動ログイン
パスワードを忘れた方はこちら
商品情報

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


Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化 著者: 萩原 学 , アフェルト・レナルド
レーベル: 森北出版
スタジオ: 森北出版
発売元: 森北出版
発売元: 森北出版


発売日:2018/04/18

Amazon.co.jp 売上ランキング:79364

ブログ/ホームページで紹介する

Amazonカスタマーのレビュー
この商品を買った人はこんな商品も買っています
同じテーマの商品を探す
この商品をぺたした人