Coq による定理証明 2014.8本文サンプル サークル名 Tsukuba Coq Users' Group 著者 坂口 和彦 平井 洋一 サイズ A5 ページ数 36 頒布価格 500JPY 頒布イベント 技術書典2 コミックマーケット91 コミックマーケット89 コミックマーケット87 コミックマーケット86 委託販売 http://shop.comiczin.jp/products/detail.php?product_id=21265
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Coq による定理証明 2013.12
