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. KI-99 : advances in artificial intelligence : 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 : proceedings
Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1701 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Proceedings : Sixteenth National Conference on Artificial Intelligence (AAAI-99) : Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99)
[sponsored by the American Association for Artificial Intelligence]
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : MIT Press, c1999
所蔵情報: loading…
4.

図書
図書
4. 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…
5.

図書
図書
5. 1978 ACM Computer Science Conference, 21 February-23 February, 1978, Renaissance Center, Detroit, Michigan : abstracts, program, information
ACM Computer Science Conference ; Association for Computing Machinery
出版情報: [New York] : [Association for Computing Machinery], c1978
所蔵情報: loading…
6.

図書
図書
6. 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…
7.

図書
図書
7. Progress in artificial intelligence : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings
Ernesto Costa, Amilcar Cardoso (eds.)
出版情報: Berlin : Springer, 1997
シリーズ名: Lecture notes in computer science ; 1323. Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. IJCAI-97 : proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, August 23-29, 1997 (: set ; v. 1 ; v. 2)
sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAII), Japanese Society for Artificial Intelligence
出版情報: San Francisco, CA : Distributed by Morgan Kaufmann, c1997
所蔵情報: loading…
9.

図書
図書
9. IJCAI-95 : proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Montréal, Québec, Canada, August 20-25, 1995 (: set ; v. 1 ; v. 2)
sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAII) ... [et al.]
出版情報: San Mateo, Calif. : Distributed by Morgan Kaufmann, c1995
所蔵情報: loading…
10.

図書
図書
10. Case-based reasoning research and development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings
Manuela Veloso, Agnar Aamodt (eds.)
出版情報: Berlin : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 1010 . Lecture notes in artificial intelligence
所蔵情報: loading…