検索キーワード:(件名: 証明 データ処理)
該当件数:1件
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
図書