Coq による定理証明 2014.12

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