検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
シリーズ名：The MIT Press series in artificial intelligence
選択行を：
12 件中の　1-1012
資料名所在
1Nonmonotonic reasoning / Grigoris Antoniou ; with contributions by Mary-Anne Williams. -- MIT Press, c1997. -- (The MIT Press series in artificial intelligence).図書館(書庫) 410.9:A
2Building problem solvers / Kenneth D. Forbus, Johan de Kleer. -- MIT Press, c1993. -- (The MIT Press series in artificial intelligence).図書館(閲覧室) 007.6:F
3The language complexity game / Eric Sven Ristad. -- MIT Press, c1993. -- (The MIT Press series in artificial intelligence).教育英語 801:R
4Three-dimensional computer vision : a geometric viewpoint / Olivier Faugeras. -- MIT Press, c1993. -- (The MIT Press series in artificial intelligence).図書館(書庫) 007.1:F
5Automated 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).教養共５Ｆ英語 410.1:W
6Solid shape / Jan J. Koenderink. -- MIT Press, c1990. -- (The MIT Press series in artificial intelligence).理数学 414.7:K
7Reasoning 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
8Actors : a model of concurrent computation in distributed systems / Gul A. Agha. -- MIT Press, c1986. -- (The MIT Press series in artificial intelligence).図書館(書庫) 007.6:A
9The acquisition of syntactic knowledge / Robert C. Berwick. -- MIT Press, c1985. -- (The MIT Press series in artificial intelligence).図書館(書庫) 801.04:B
10Computational 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-1012
選択行を：
▲ページトップへ