サクサク読めて、アプリ限定の機能も多数!
"The Little Prover" の邦訳。PDFと紙にて出版。これは読みたい!
mukaken のブックマーク 2017/10/19 16:28
『定理証明手習い』[books]"The Little Prover" の邦訳。PDFと紙にて出版。これは読みたい!2017/10/19 16:28
"The Little Prover" の邦訳。PDFと紙にて出版。これは読みたい!
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.lambdanote.com2017/10/19
プログラムの正しさは証明できる。定理証明へ踏み出すための最高のガイドブック Daniel P. Friedman, Carl Eastlund 著、中野圭介 監訳 240ページ A5判 ISBN:978-4-908686-02-3 2017年10月23日 第1版第1刷 発売 ...
30 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
"The Little Prover" の邦訳。PDFと紙にて出版。これは読みたい!
このブックマークにはスターがありません。
最初のスターをつけてみよう!
『定理証明手習い』
プログラムの正しさは証明できる。定理証明へ踏み出すための最高のガイドブック Daniel P. Friedman, Carl Eastlund 著、中野圭介 監訳 240ページ A5判 ISBN:978-4-908686-02-3 2017年10月23日 第1版第1刷 発売 ...
30 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /