近刊検索 デルタ

201804

森北出版

出版社名ヨミ:モリキタシュッパン

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

萩原,学,1974- Affeldt,Reynald,1976-

定価:3,520円(3,200円+税)

判型:

openbd

このエントリーをはてなブックマークに追加
著者略歴
萩原, 学, 1974-(ハギワラ, マナブ hagiwara, manabu)
Affeldt, Reynald, 1976-( )
タイトルヨミ
カナ:コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ : フリー ソフト デ ハジメル スウガク ノ ケイシキカ
ローマ字:kokku esuesurifurekuto masu konpu ni yoru teiri shoumei : furii sofuto de hajimeru suugaku no keishikika

※近刊検索デルタの書誌情報はopenBDのAPIを使用しています。

-- 広告 -- AD --

【AD】
今、注目すべき第三書館の本
ザ・殺人術
人の殺し方を本にしていいのか

-- 広告 -- AD --

もうすぐ発売(1週間以内)

※近刊検索デルタの書誌情報はopenBDのAPIを利用しています。