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

萩原学, アフェルト・レナルド共著

この本の情報

書名 Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
著作者等 Jalobeanu, Dana
萩原 学
書名ヨミ Coq/Ssreflect/Mathcomp ニヨル テイリ ショウメイ : フリーソフト デ ハジメル スウガク ノ ケイシキカ
書名別名 CoqSsreflectMathCompによる定理証明 : フリーソフトではじめる数学の形式化
出版元 森北出版
刊行年月 2018.4
ページ数 iv, 211p
大きさ 22cm
ISBN 978-4-627-06241-2
NCID BB25944631
※クリックでCiNii Booksを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想