hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

(3/26)冊
Fms
PX: A Computational Logic (Foundations of Computing)
PX: A Computational Logic (Foundations of Computing)
著者: Susumu Hayashi, Hiroshi Nakano
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
プログラミング言語の基礎理論 (情報数学講座)
プログラミング言語の基礎理論 (情報数学講座)
著者: 大堀 淳
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Calculi soutaro rui
Fms
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides)
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides)
著者:
出版社: Oxford Univ Pr on Demand
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
自然言語・意味論・論理
自然言語・意味論・論理
著者: 赤間 世紀
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Calculi agusaLab はぶあきひろ
Fms
関数プログラミング JSSST’91 (レクチャーノート ソフトウェア学)
関数プログラミング JSSST’91 (レクチャーノート ソフトウェア学)
著者:
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
Basic Category Theory for Computer Scientists (Foundations of Computing)
Basic Category Theory for Computer Scientists (Foundations of Computing)
著者: Benjamin C. Pierce
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: spi tanaka kmt-t りんごスプーン prime_no_132nd Felio Calculi minkewhale agusaLab kuwa
Fms