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