Coq による定理証明 2016.12

サークル名
Tsukuba Coq Users' Group
著者
サイズ
A5
ページ数
30
頒布価格
500JPY
頒布イベント
コミックマーケット91