上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.76.E95)
該当件数:53件
Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange (eds.)
Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 961 . Lecture notes in artificial intelligence)
図書 <1000699102>
Problem-solving methods : understanding, description, development, and reuse / Dieter Fensel
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1791 . Lecture notes in artificial intelligence)
図書 <1001195263>
Probabilistic networks and expert systems / Robert G. Cowell ... [et al.]
New York : Springer , c1999. - (Statistics for engineering and information science)
図書 <1001228289>
Intelligent systems and soft computing : prospects, tools and applications / Behnam Azvine, Nader Azarmi, Detlef D. Nauck (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1804 . Lecture notes in artificial intelligence)
図書 <1001180856>
Advances in case-based reasoning : 5th European Workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 : proceedings / Enrico Blanzieri, Luigi Portinale (eds.)
Berlin : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1898. Lecture notes in artificial intelligence)
図書 <1001186780>
Smart environments : technologies, protocols, and applications / Diane J. Cook and Sajal K. Das.
electronic bk.,electronic bk.. - Hoboken, NJ : John Wiley , 2005.. - (Wiley series on parallel and distributed computing)
電子ブック <1003010843>
Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards
Sydney ; Reading, Mass. : Addison-Wesley Pub. Co. , c1989. - (International computer science series)
図書 <1001983833>
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>
Expertise in context : human and machine / edited by Paul J. Feltovich, Kenneth M. Ford & Robert R. Hoffman
: pbk. - Menlo Park : AAAI Press. - Cambridge : MIT Press , c1997
図書 <1001288021>
Smart environments : technologies, protocols, and applications / Diane J. Cook and Sajal K. Das
: cloth. - Hoboken, N.J. : John Wiley , c2005
図書 <1001624538>
Knowledge engineering and knowledge management : methods, models, and tools : 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (eds.)
Berlin ; New York : Springer , c2000. - (Lecture notes in computer science ; 1937 . Lecture notes in artificial intelligence)
図書 <1001202604>
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>
Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings / Lȧszlo︠ Monostori, Jo︠zsef Vȧncza, Moonis Ali (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2070 . Lecture notes in artificial intelligence)
図書 <1001278030>
Reactive systems : modelling, specification and verification / Luca Aceto ... [et al.]
: hbk. - Cambridge, U.K. : Cambridge University Press , 2007
図書 <1001889827>
Intelligent perceptual systems : new directions in computational perception / V. Roberto (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 745 . Lecture notes in artificial intelligence)
図書 <1000487236>
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>
Design and development of knowledge-based systems : from life cycle to methodology / Giovanni Guida, Carlo Tasso
Chichester ; New York : John Wiley , c1994
図書 <1000503469>
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>
Knowledge engineering and management : the common KADS methodology / Guus Schreiber, ... [et al]
Cambridge, Mass. ; London : The MIT Press , c2000. - (A Bradford book)
図書 <1001144741>
Developing industrial case-based reasoning applications : the INRECA methodology / Ralph Bergmann ...[et al.]
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1612 . Lecture notes in artificial intelligence)
図書 <1001063855>