上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 006.3/3)
該当件数:56件
Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence)
図書 <1000541399>
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1111 . Lecture notes in artificial itificial intelligence)
図書 <1000542107>
Conceptual structures: knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / Peter W. Eklund, Gerard Ellis, Graham Mann (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1115 . Lecture notes in artificial intelligence)
図書 <1000542110>
Managing knowledge networks / J. David Johnson
: hbk,: pbk. - Cambridge, U.K. ; New York : Cambridge University Press , 2009
図書 <1002168511>
Artificial intelligence : methodology, systems, and applications : 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000 : proceedings / Stefano A. Cerri, Danail Dochev (eds.)
Berlin ; Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1904 . Lecture notes in artificial intelligence)
図書 <1001195282>
Conflicting agents : conflict management in multi-agent systems / edited by Catherine Tessier, Laurent Chaudron, Heinz-Jürgen Müller
Boston : Kluwer Academic , c2001. - (Multiagent systems, artificial societies, and simulated organizations : International book series ; [1])
図書 <1001226756>
Foundations of intelligent systems : 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000 : proceedings / Zbigniew W. Raś, Setsuo Ohsuga (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1932 . Lecture notes in artificial intelligence)
図書 <1001205129>
Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 764)
図書 <1000491573>
Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 808 . Lecture notes in artificial intelligence)
図書 <1000501837>
Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 810 . Lecture notes in artificial intelligence)
図書 <1000502954>
Methodologies for intelligent systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994 : proceedings / Zbigniew W. Raś, Maria Zemankova, (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 869 . Lecture notes in artificial intelligence)
図書 <1000505950>
Foundations of intelligent systems : 11th International Symposium, ISMIS'99, Warsaw, Poland, June 8-11, 1999 : proceedings / Zbigniew W. Raś, Andrzej Skowron (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1609 . Lecture notes in artificial intelligence)
図書 <1001063861>
Cooperative information agents III : Third International Workshop, CIA '99, Uppsala, Sweden, July 31 - August 2, 1999 : proceedings / Matthias Klusch, Onn M. Shehory, Gerhard Weiss (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1652 . Lecture notes in artificial intelligence)
図書 <1001063864>
Conceptual structures : standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings / William Tepfenhart, Walling Cyre (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1640 . Lecture notes in artificial ingelligence)
図書 <1001063867>
Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence)
図書 <1001063871>
Artificial intelligence : methodology, systems, and applications : 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998 : proceedings / Fausto Giunchiglia (ed.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1480 . Lecture notes in artificial intelligence)
図書 <1000997390>
XPS-99 : Knowledge-based systems : survey and future directions : 5th Biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999 : proceedings / Frank Puppe (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1570 . Lecture notes in artificial intelligence)
図書 <0219003420>
Managing uncertainty in expert systems / by Jerzy W. Grzymala-Busse
: alk. paper. - Boston : Kluwer Academic , c1991. - (The Kluwer international series in engineering and computer science ; SECS 143)
図書 <1000434204>
Fuzzy expert systems / editor, Abraham Kandel
Boca Raton, Fla : CRC Press , c1992
図書 <1000437986>
Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter, (eds.)
: Berlin,: New York. - Berlin ; New York : Springer Verlag , c1991. - (Lecture notes in computer science ; 567 . Lecture notes in artificial intelligence)
図書 <1000438890>