Coq による定理証明 - Coq でスタック指向プログラミング

サークル名
Stricter.org
著者
坂口 和彦
サイズ
A5
ページ数
50
頒布価格
500JPY
頒布イベント
委託販売
http://shop.comiczin.jp/products/detail.php?product_id=13544