Coq による定理証明 2014.8

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