>> Google Books

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

責任表示:
萩原学, アフェルト・レナルド共著
言語:
日本語
出版情報:
東京 : 森北出版, 2018.4
形態:
iv, 211p ; 22cm
著者名:
ISBN:
9784627062412 [4627062419]
書誌ID:
BB25944631
フォーマット:
図書
子書誌情報
Loading
所蔵情報
Loading availability information

類似資料:

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

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-)

日本コンピュータ協会

萩谷, 昌己(1957-), 長尾, 真(1936-)

岩波書店

小坂, 敏文, 吉本, 定伸

近代科学社

有末, 宏明, 片山, 登揚, 松野, 高典, 稗田, 吉成

コロナ社

Thiele, Rüdiger, 金井, 省二(1941-)

森北出版

荒木, 雅弘

森北出版

Solow, Daniel, 安藤, 四郎(1928-)

共立出版

Andrews, P. B. (Peter Bruce), 1937-, 小川原, 倫子

丸善

12 図書 知識処理論

萩野, 達也

産業図書