Coq による定理証明 2016.12

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