Coq による定理証明 2015.12

プレスバーガー算術の決定可能性の証明を紹介し、その Coq での形式化方法をまとめた本。

サークル名
Tsukuba Coq Users' Group
著者
坂口 和彦
サイズ
A5
ページ数
54
頒布価格
500JPY
頒布イベント
委託販売
http://shop.comiczin.jp/products/detail.php?product_id=27180