| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 3315 |
Progress in artificial intelligence : IBERAMIA 98 : 6th Ibero-American Conference on AI, Lisbon, Portugual, October 5-9, 1998, proceedings / |
Helder Coelho (ed.). |
Springer, c1998. |
TP18-532/X91 |
| 2431 |
Principles of data mining and knowledge discovery : First European Symposium, PKDD '97, Trondheim, Norway, June 24-27, 1997 : proceedings / |
Jan Komorowski, Jan Zytkow (eds.). |
Springer, c1997. |
TP18-532/X82 |
| 2087 |
Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents / |
Gabriele Kern-Isberner. |
Springer, c2001. |
TP182/X6 |
| 1952 |
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.). |
Springer, c2000. |
TP18-532/X91/2000 |
| 1919 |
Logics in artificial intelligence : European workshop, JELIA 2000, M鈇laga, Spain, September 29-October 2, 2000 : proceedings / |
Manuel Ojeda-Aciego ... [et al.] (eds.). |
Springer, c2000. |
TP18-532/X58/2000 |
| 1867 |
Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings / |
Bernhard Ganter, Guy W. Mineau (eds.). |
Springer, c2000. |
TP182-532/X3 |
| 1761 |
Automated deduction in classical and non-classical logics : selected papers / |
Ricardo Caferra, Gernot Salzer (eds.). |
Springer, 2000. |
TP181/X15 |
| 1757 |
Intelligent agents VI : agent theories, architectures, and languages : 6th International Workshop (ATAL'99), Orlando, Florida, USA, July 15-17, 1999 : proceedings / |
Nicholas R. Jennings, Yves Lespérance, (eds.). |
Springer, c2000. |
TP311-532/X14/1999 |
| 1747 |
Advanced topics in artificial intelligence : 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999 : proceedings / |
Norman Foo, (ed.). |
Springer, c1999. |
TP18-532/X17/1999 |
| 1744 |
Grading knowledge : extracting degree information from texts / |
Steffen Staab. |
Springer, c1999. |
TP391/X79 |
| 1733 |
Approaches to intelligent agents : second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 : proceedings / |
Hideyuki Nakashima, Chengqi Zhang (eds.). |
Springer, c1999. |
TP31-532/X23/1999 |
| 1730 |
Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / |
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.). |
Springer, c1999. |
TP311.11-53/X8/1999 |
| 1724 |
Sensor based intelligent robots : international workshop, Dagstuhl Castle, Germany, September 28-October 2, 1998 : selected papers / |
Henrik I. Christensen, Horst Bunke, Hartmut Noltemeier (eds.). |
Springer, c1999. |
TP242.6-532/X6/1998 |
| 1721 |
Discovery science : second international conference, DS'99, Tokyo, Japan, December 6-8, 1999 : proceedings / |
Setsuo Arikawa, Koichi Furukawa, (eds.). |
Springer, c1999. |
N02-532/X2 |
| 1720 |
Algorithmic learning theory : 10th international conference, ALT'99, Tokyo, Japan, December 6-8, 1999 : proceedings / |
Osamu Watanabe, Takashi Yokomori, (eds.). |
Springer, c1999. |
TP18-532/X63/1999 |
| 1715 |
Machine learning and data mining in pattern recognition : first international workshop, MLDM'99, Leipzig, Germany, September 16-18, 1999 : proceedings / |
Petra Perner, Maria Petrou (eds.). |
Springer, c1999. |
TP18-532/X112 |
| 1711 |
New directions in rough sets, data mining, and granular-soft computing : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 : proceedings / |
Ning Zhong, Andrzej Skowron, Setsuo Ohsuga (eds.). |
Springer, c1999. |
TP3-532/X23 |
| 1705 |
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / |
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.) |
Springer, c1999 |
TP18-532/X115 |
| 1705 |
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / |
Michel Parigot, Andrei Voronkov (eds.). |
Springer, c2000. |
TP18-532/X115/2000 |
| 1704 |
Principles of data mining and knowledge discovery : Third European Conference, PKDD'99, Prague, Czech Republic, September 15-18, 1999 : proceedings / |
Jan M. ？ytkow, Jan Rauch (eds.) |
Springer, c1999 |
TP18-532/X82/1999 |
|
|
|
|
|