hondana.org
本を探す

 

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

(0/19)冊
Fms
Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science)
Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science)
著者: Terese
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd
Fms
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
著者: Roberto M. Amadio, Pierre-Louis Curien
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd
Fms
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
著者: J. Lambek, P. J. Scott
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd Calculi
Fms
Communicating and Mobile Systems: The Pi Calculus
Communicating and Mobile Systems: The Pi Calculus
著者: Robin Milner
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: tanaka prime_no_132nd minkewhale agusaLab
Fms
Categories for Types (Cambridge Mathematical Textbooks)
Categories for Types (Cambridge Mathematical Textbooks)
著者: Roy L. Crole
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 りんごスプーン prime_no_132nd agusaLab
Fms
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
著者: Bernhard Ganter, Rudolf Wille
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd
Fms
/prime_no_132nd/4000061909
著者:
出版社:
評価:
カテゴリ:
コメント:
関連本棚: plasma 夜空の下 kmt-t prime_no_132nd elcon kuwa agusaLab nobsun-old doax
Fms
プログラム意味論 (情報数学講座)
プログラム意味論 (情報数学講座)
著者: 横内 寛文
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: oxyの本棚 spi tanaka shaolin 羽尻 prime_no_132nd Calculi smtk doax 岸リトル blackbird
Fms
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
著者: A. S. Troelstra, H. Schwichtenberg
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd
Fms
The Pi-Calculus: A Theory of Mobile Processes
The Pi-Calculus: A Theory of Mobile Processes
著者: Davide Sangiorgi, David Walker
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: sydney prime_no_132nd kuwa agusaLab
Fms
Model Checking
Model Checking
著者: Edmund M. Clarke Jr., Orna Grumberg, Doron Peled
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa reservoir toshiharu prime_no_132nd kuwa
Fms
情報科学における論理 (情報数学セミナー)
情報科学における論理 (情報数学セミナー)
著者: 小野 寛晰
出版社: 日本評論社
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 unnonouno naoki_afif kuwa Taku スハカ2005 tanaka prime_no_132nd Felio Calculi minkewhale @tk tasario blackbird
Fms
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
著者: Patrick Blackburn, Maarten de Rijke, Yde Venema
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd
Fms
コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語
コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語
著者: 大堀 淳, ジャック ガリグ, 西村 進
出版社: 岩波書店
評価:
カテゴリ:
コメント:
関連本棚: kmdtty kmt-t prime_no_132nd elcon doax
Fms
Types and Programming Languages
Types and Programming Languages
著者: Benjamin C. Pierce
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: orken oxy りんごスプーン prime_no_132nd soutaro minkewhale 読み虫 あきっぽん ikep 岸リトル yagiey 増井
Fms
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
著者: Steven Vickers
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: tanaka prime_no_132nd
Fms
Introduction to Lattices and Order
Introduction to Lattices and Order
著者: B. A. Davey, H. A. Priestley
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: sydney prime_no_132nd imash agusaLab
Fms
A Shorter Model Theory
A Shorter Model Theory
著者: Wilfrid Hodges
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd
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