サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
www.slideshare.net/qnighy
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Competitive Programming Advent Calendar 2012の12/01担当分の記事です。
upcamp(私立・プログラミングキャンプ) 2012 東京大会 http://atnd.org/events/30833
このページを最初にブックマークしてみませんか?
『www.slideshare.net』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く