上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: Q334)
該当件数:88件
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 1930 . Lecture notes in artificial intelligence)
図書 <1001266346>
Non-standard inferences in description logics / Ralf Küsters
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2100 . Lecture notes in artificial intelligence)
図書 <1001307725>
AI 2001 : advances in artificial intelligence : 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001 : proceedings / Markus Stumptner, Dan Corbett, Mike Brooks (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2256 . Lecture notes in artificial intelligence)
図書 <1001347902>
Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings / Pavel Brazdil, Alípio Jorge (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2258 . Lecture notes in artificial intelligence)
図書 <1001350268>
New frontiers in artificial intelligence : Joint JSAI 2001 Workshop post-proceedings / Takao Terano, ...[et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2253 . Lecture notes in artificial intelligence)
図書 <1001354746>
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1809 . Lecture notes in artificial intelligence)
図書 <1001180852>
PRICAI 2000 : topics in artificial intelligence : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 : proceedings / Riichiro Mizoguchi, John Slaney (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1886 . Lecture notes in artificial intelligence)
図書 <1001190002>
Methods and aapplications of artificial intelligence : Second Hellenic Conference on AI, SETN 2002, Thessaloniki, Greece, April 11-12, 2002 : proceedings / Ioannis P. Vlahavas, Constantine D. Spyropoulos (eds.)
Berlin : Springer-Verlag , c2002. - (Lecture notes in computer science ; 2308 . Lecture notes in artificial intelligence)
図書 <1001366279>
MICAI 2002 : advances in artificial intelligence : second Mexican international conference on Artificial Intelligence, Mérida, Yucatán, Mexico, April 22-26, 2002 : proceedings / Carlos A. Coello Coello ... [et al.] (eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2313 . Lecture notes in artificial intelligence)
図書 <1001367915>
Advances in artificial intelligence : 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002, Calgary, Canada, May 27-29, 2002 : proceedings / Robin Cohen, Bruce Spencer (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2338 . Lecture notes in artificial intelligence)
図書 <1001374031>
Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings / Eleni Stroulia, Stan Matwin (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2056 . Lecture notes in artificial intelligence)
図書 <1001272473>
KI 2001: advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings / Frantz Baader, Gerhard Brewka, Thomas Eiter (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2174 . Lecture notes in artificial intelligence)
図書 <1001324918>
Advances in artificial intelligence : PRICAI 2000 workshop reader : four workshops held at PRICAI 2000, Melbourne, Australia, August 28 - September 1, 2000 : revised papers / Ryszard Kowalczyk ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2112 . Lecture notes in artificial intelligence)
図書 <1001337044>
Advances in artificial intelligence : International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000 : proceedings / Maria Carolina Monard, Jaime Simão Sichman (eds.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1952 . Lecture notes in artificial intelligence)
図書 <1001207606>
Logics in artificial intelligence : European Workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings / Manuel Ojeda-Aciego ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1919 . Lecture notes in artificial intelligence)
図書 <1001207612>
Advanced topics in artificial intelligence : 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999 : proceedings / Norman Foo (ed.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1747 . Lecture notes in aritificial intelligence)
図書 <1001100238>
Progress in artificial intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999 : proceedings / Pedro Barahona, José J. Alferes (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1695 . Lecture notes in artificial intelligence)
図書 <1001084250>
MICAI 2000 : advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000 : proceedings / Osvaldo Cairo, L. Enrique Sucar, Francisco J. Cantu (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1793 . Lecture notes in artificial intelligence)
図書 <1001135810>
Advances in artificial intelligence : 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montéal, Quebec, Canada, May 14-17, 2000 : proceedings / Howard J. Hamilton
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1822 . Lecture notes in artificial intelligence)
図書 <1001158814>
Intelligent problem solving : methodologies and approaches : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000 : proceedings / Rasiah Loganantharaj, Günther Palm, Moonis Ali (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1821 . Lecture notes in artificial intelligence)
図書 <1001158933>