ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
シリーズ名:The MIT Press series in artificial intelligence
図書(12 件)
選択行を:
10件
20件
50件
12 件中の 1-10
1
2
資料名
所在
1
Nonmonotonic reasoning / Grigoris Antoniou ; with contributions by Mary-Anne Williams. -- MIT Press, c1997. -- (The MIT Press series in artificial intelligence).
図書館(書庫)
410.9:A
2
Building problem solvers / Kenneth D. Forbus, Johan de Kleer. -- MIT Press, c1993. -- (The MIT Press series in artificial intelligence).
図書館(閲覧室)
007.6:F
3
The language complexity game / Eric Sven Ristad. -- MIT Press, c1993. -- (The MIT Press series in artificial intelligence).
教育英語
801:R
4
Three-dimensional computer vision : a geometric viewpoint / Olivier Faugeras. -- MIT Press, c1993. -- (The MIT Press series in artificial intelligence).
図書館(書庫)
007.1:F
5
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen. -- MIT Press, c1990. -- (The MIT Press series in artificial intelligence).
教養共5F英語
410.1:W
6
Solid shape / Jan J. Koenderink. -- MIT Press, c1990. -- (The MIT Press series in artificial intelligence).
理数学
414.7:K
7
Reasoning about change : time and causation from the standpoint of artificial intelligence / Yoav Shoham. -- MIT Press, c1988. -- (The MIT Press series in artificial intelligence).
工情報
007.1:S
8
Actors : a model of concurrent computation in distributed systems / Gul A. Agha. -- MIT Press, c1986. -- (The MIT Press series in artificial intelligence).
図書館(書庫)
007.6:A
9
The acquisition of syntactic knowledge / Robert C. Berwick. -- MIT Press, c1985. -- (The MIT Press series in artificial intelligence).
図書館(書庫)
801.04:B
10
Computational models of discourse / edited by Michael Brady and Robert C. Berwick ; contributors, James Allen ... [et al.]. -- MIT Press, c1983. -- (The MIT Press series in artificial intelligence).
図書館(書庫)
007.1:C
12 件中の 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
초성
중성
종성