theatricalのブックマーク - はてなブックマーク

Tsukuba Coq Users' Group
茨城県つくば市周辺の Coq ユーザのグループです。同人誌の発行等の活動をしています。本 Coq による定理証明 2016.12 Coq による定理証明 2015.12 Coq による定理証明 2014.12 Coq による定理証明 2014.8 Coq による定理証明 2013.12 Coq による定理証明 - コンビネータ論理 C83版 Coq による定理証明 - Coq でスタック指向プログラミング参加イベントコミックマーケット92 技術書典2 コミックマーケット91 コミックマーケット89 コミックマーケット87 コミックマーケット86 コミックマーケット85 メンバー坂口和彦平井洋一石井大海
theatrical 2014/08/06
coq
リンク
Coq による定理証明 2013.12
本文サンプルサークル名 Tsukuba Coq Users' Group 著者坂口和彦平井洋一石井大海サイズ A5 ページ数 98 頒布価格 800JPY 頒布イベントコミックマーケット89 コミックマーケット87 コミックマーケット86 コミックマーケット85 委託販売 http://shop.comiczin.jp/products/detail.php?product_id=19254
theatrical 2014/08/06
電子書籍で売ってくれないかなぁ

coq
リンク
1

はてなブックマーク