サクサク読めて、アプリ限定の機能も多数!
『Type Theory and Formal Proof - An Introduction』という本が出たそうな。高い。
hitotakuchan のブックマーク 2015/01/16 12:48
Amazon.co.jp: Type Theory and Formal Proof: An Introduction (English Edition): Nederpelt, Rob, Geuvers, Herman: Digital Ebook Purchas[計算機科学][形式手法][論理学][定理証明][型理論]『Type Theory and Formal Proof - An Introduction』という本が出たそうな。高い。2015/01/16 12:48
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.amazon.co.jp2015/01/16
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
『Type Theory and Formal Proof - An Introduction』という本が出たそうな。高い。
hitotakuchan のブックマーク 2015/01/16 12:48
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Amazon.co.jp: Type Theory and Formal Proof: An Introduction (English Edition): Nederpelt, Rob, Geuvers, Herman: Digital Ebook Purchas
www.amazon.co.jp2015/01/16
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /