close
1.

図書
図書
1. IJCAI-03 : proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003
sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAI), the American Association for Artificial Intelligence (AAAI), the Mexican Society for Artificial Intelligence (SMIA) ; in cooperation with the AI Communities from Argentina, Brazil, Chile, and Venezuela
出版情報: San Francisco, CA : Distributed by Morgan Kaufmann, c2003
所蔵情報: loading…
2.

図書
図書
2. Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers (: pbk)
Edmund M. Clarke and Andrei Voronkov (Eds.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; . Lecture notes in artificial intelligence ; 6355
所蔵情報: loading…
3.

図書
図書
3. Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Christian G. Fermüller, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer, 2010
シリーズ名: Lecture notes in computer science ; 6397
Lecture notes in computer science ; Advanced research in computing and software science
オンライン: http://www.loc.gov/catdir/enhancements/fy1306/2010935496-d.html
http://www.loc.gov/catdir/enhancements/fy1402/2010935496-t.html
所蔵情報: loading…
4.

図書
図書
4. IJCAI-01 : proceedings of the seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington, August 4-10, 2001 (v. 1 ; v. 2 ; : CD-ROM)
sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAII), the American Association for Artificial Intelligence (AAAI)
出版情報: San Francisco, CA : Distributed by Morgan Kaufmann, c2001
所蔵情報: loading…
5.

図書
図書
5. Web intelligence : research and development : First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001 : proceedings
Ning Zhong ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2198 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Metalevel architectures and separation of crosscutting concerns : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
Akinori Yonezawa, Satoshi Matsuoka (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2192
所蔵情報: loading…