ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
シリーズ名:Cambridge tracts in theoretical computer science
図書(14 件)
選択行を:
10件
20件
50件
14 件中の 1-10
1
2
資料名
所在
1
Belief revision / edited by Peter Gärdenfors ; : pbk. -- Cambridge University Press, 2003, c1992. -- (Cambridge tracts in theoretical computer science ; 29).
教養(教養学部棟)
007.1:G
2
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema ; : pbk. -- Cambridge University Press, 2002, c2001. -- (Cambridge tracts in theoretical computer science ; 53).
教養共4F哲学
410.9:B
3
Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien. -- Cambridge University Press, 1998. -- (Cambridge tracts in theoretical computer science ; 46).
教養共5F英語
418.1:A
4
Metamathematics, machines, and Gödel's proof / N. Shankar ; : pbk. -- Cambridge University Press, 1997. -- (Cambridge tracts in theoretical computer science ; 38).
教養共4F哲学
410.9:S
5
Extensions of first order logic / [by] María Manzano. -- Cambridge University Press, 1996. -- (Cambridge tracts in theoretical computer science ; 19).
教養共4F哲学
410.9:M
6
The uncertain reasoner's companion : a mathematical perspective / J. B. Paris. -- Cambridge University Press, 1994. -- (Cambridge tracts in theoretical computer science ; 39).
教養共4F哲学
007.1:P
7
Metamathematics, machines, and Gödel's proof / N. Shankar. -- Cambridge University Press, 1994. -- (Cambridge tracts in theoretical computer science ; 38).
教養共4F哲学
410.1:S
8
Predicate transformer semantics / Ernest G. Manes. -- Cambridge University Press, 1992. -- (Cambridge tracts in theoretical computer science ; 33).
教養共5F英語
007.6:M
9
Belief revision / edited by Peter Gärdenfors. -- Cambridge University Press, 1992. -- (Cambridge tracts in theoretical computer science ; 29).
工情報
007.1:G
10
Formal semantics and pragmatics for natural language querying / James Clifford. -- Cambridge University Press, 1990. -- (Cambridge tracts in theoretical computer science ; 8).
教養共5F英語
007.1:C
14 件中の 1-10
1
2
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성