上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 006.3/33)
該当件数:11件
Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001 : proceedings / David W. Aha, Ian Watson (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2080 . Lecture notes in artificial intelligence)
図書 <1001298408>
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / Niel V. Murray (ed.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1617 . Lecture notes in artificial intelligence)
図書 <1001063852>
Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1650 . Lecture notes in artificial intelligence)
図書 <1001064028>
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune (ed.)
pbk. : alk. paper. - Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1249 . Lecture notes in artificial intelligence)
図書 <1000553979>
Case-based reasoning research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings / David B. Leake, Enric Plaza, (eds.)
Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1266 . Lecture notes in artificial intelligence)
図書 <1000554316>
Recent advances in AI planning : 4th European Conference on Planning, ECP '97, Toulouse, France, September 24-26, 1997 : proceedings / Sam Steel, Rachid Alami, (eds.)
New York : Springer , c1997. - (Lecture notes in computer science ; 1348 . Lecture notes in artificial intelligence)
図書 <1000557261>
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / Harrie de Swart (ed.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1397 . Lecture notes in artificial intelligence)
図書 <1000559495>
The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub
: pbk. - Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1409 . Lecture notes in artificial intelligence)
図書 <1000559679>
Case-based reasoning technology : from foundations to applications / Mario Lenz ... [et al.] eds
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1400 . Lecture notes in artificial intelligence)
図書 <1000559769>
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner (eds.)
: pbk. - Berlin : Springer , c1998. - (Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence)
図書 <1000560251>
Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings / Jan Komorowski, Jan Zytkow (eds.)
Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1263 . Lecture notes in artificial intelligence)
図書 <1000554020>