hondana.org
本を探す

 


Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

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

萩原 学
森北出版
ISBN: 4627062419  紀伊國屋, Amazon, WebCat
カテゴリ 計算機科学
評  価
コメント
他の本棚 kuwa

最終更新 : 2023-01-12 18:38:06 +0900
カテゴリ
評  価
コメント

Fms