>> Google Books
所蔵情報QRコード

Coq/ssreflect/mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド著

資料種別:
図書
出版情報:
東京 : 森北出版, 2018.4
形態:
iv, 211p ; 22cm
著者名:
ISBN:
9784627062412 [4627062419]
書誌ID:
BB25944631
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

荒木, 雅弘

森北出版

鈴木, 正人

東京工業大学

小坂, 敏文, 吉本, 定伸

近代科学社

Jackson, Daniel, 今井, 健男, 酒井, 政裕, 遠藤, 侑介, 片岡, 欣夫, 中島, 震(1955-)

オーム社

萩原, 学

日本評論社

三村, 昌泰(1941-), 萩原, 一郎

明治大学出版会, 丸善出版 (発売)

萩原, 学

東京工業大学

大村, 正道(1965-)

工学社

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12