検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
シリーズ名：Cambridge tracts in theoretical computer science
選択行を：
14 件中の　1-1012
資料名所在
1Belief revision / edited by Peter Gärdenfors ; : pbk. -- Cambridge University Press, 2003, c1992. -- (Cambridge tracts in theoretical computer science ; 29).教養（教養学部棟） 007.1:G
2Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema ; : pbk. -- Cambridge University Press, 2002, c2001. -- (Cambridge tracts in theoretical computer science ; 53).教養共４Ｆ哲学 410.9:B
3Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien. -- Cambridge University Press, 1998. -- (Cambridge tracts in theoretical computer science ; 46).教養共５Ｆ英語 418.1:A
4Metamathematics, machines, and Gödel's proof / N. Shankar ; : pbk. -- Cambridge University Press, 1997. -- (Cambridge tracts in theoretical computer science ; 38).教養共４Ｆ哲学 410.9:S
5Extensions of first order logic / [by] María Manzano. -- Cambridge University Press, 1996. -- (Cambridge tracts in theoretical computer science ; 19).教養共４Ｆ哲学 410.9:M
6The uncertain reasoner's companion : a mathematical perspective / J. B. Paris. -- Cambridge University Press, 1994. -- (Cambridge tracts in theoretical computer science ; 39).教養共４Ｆ哲学 007.1:P
7Metamathematics, machines, and Gödel's proof / N. Shankar. -- Cambridge University Press, 1994. -- (Cambridge tracts in theoretical computer science ; 38).教養共４Ｆ哲学 410.1:S
8Predicate transformer semantics / Ernest G. Manes. -- Cambridge University Press, 1992. -- (Cambridge tracts in theoretical computer science ; 33).教養共５Ｆ英語 007.6:M
9Belief revision / edited by Peter Gärdenfors. -- Cambridge University Press, 1992. -- (Cambridge tracts in theoretical computer science ; 29).工情報 007.1:G
10Formal semantics and pragmatics for natural language querying / James Clifford. -- Cambridge University Press, 1990. -- (Cambridge tracts in theoretical computer science ; 8).教養共５Ｆ英語 007.1:C
14 件中の　1-1012
選択行を：
▲ページトップへ