Coq による定理証明 2013.12

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