-
西文图书1.Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain TP18-53/ICA
馆藏复本:1
可借复本:1 John A. Campbell, Eugenio Roanes-Lozano (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书2.User modeling 2001 : 8th international conference, UM 2001, Sonthofen, Germany, July 13-17, 2001 : p TP11-53/ICU
馆藏复本:1
可借复本:1 Mathias Bauer, Piotr J. Gmytrasiewicz, Julita Vassileva (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书3.Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents / TP182/KIG
馆藏复本:1
可借复本:1 Gabriele Kern-Isberner.
Springer, c2001.
(0) 馆藏 -
西文图书4.Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, AT TP311-53/ATA
馆藏复本:1
可借复本:1 Cristiano Casterfranchi, Yves Lesperance (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书5.From theory to practice in multi-agent systems : Second International Workshop of Central and Easter TP18-53/CEE
馆藏复本:1
可借复本:1 Barbara Dunin-K?plicz, Edward Nawarecki (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书6.Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 20 TP18-53/IJC
馆藏复本:1
可借复本:1 Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书7.Intelligent agents : specification, modeling, and applications : 4th Pacific Rim International Works TP317-53/PRI
馆藏复本:1
可借复本:1 Soe-Tsyr Yuan, Makoto Yokoo (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书8.Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, S TP181-53/IWL
馆藏复本:1
可借复本:1 Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书9.Association rule mining : models and algorithms / TP311.13/ZCQ
馆藏复本:1
可借复本:1 Chengqi Zhang, Shichao Zhang.
Springer, c2002.
(0) 馆藏 -
西文图书10.Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, Septe O18-53/IWA
馆藏复本:1
可借复本:1 Jürgen Richter-Gebert, Dongming Wang (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书11.KI 2001 : advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Aust TP18-53/JGA
馆藏复本:1
可借复本:1 Franz Baader, Gerhard Brewka, Thomas Eiter (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书12.Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, I O141-53/FCS
馆藏复本:1
可借复本:1 Alessandro Armando (ed.).
Springer, c2002.
(0) 馆藏 -
西文图书13.New frontiers in artificial intelligence : joint JSAI 2001 workshop post-proceedings / TP18-53/NFA
馆藏复本:1
可借复本:1 Takao Terano ... [et al.] (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书14.Multi-agent systems and applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 : sele TP18-53/ACA:2
馆藏复本:1
可借复本:1 Vladimir Marik ... [et al.] (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书15.Qualitative spatial reasoning with topological information / TP182/RJ
馆藏复本:1
可借复本:1 Jochen Renz.
Springer, c2002.
(0) 馆藏 -
西文图书16.Progress in discovery science : final report of the Japanese Dicsovery Science Project / TP311.131/PDS
馆藏复本:1
可借复本:1 Setsuo Arikawa, Ayumi Shinohara (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书17.Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, TP18-53/PCA
馆藏复本:1
可借复本:1 Pavel Brazdil, Alípio Jorge (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书18.Text, speech and dialogue : 4th international conference, TSD 2001, Zelezná Ruda, Czech Republic, S TP391-53/TSD
馆藏复本:1
可借复本:1 Václav Matousek ...[et al.] (eds.).
Springer, c2001.
(0) 馆藏 -
西文图书19.Non-standard inferences in description logics / TP18/KR
馆藏复本:1
可借复本:1 Ralf Küsters.
Springer, c2001.
(0) 馆藏 -
西文图书20.Advances in soft computing : AFSS 2002 : 2002 AFSS International Conference on Fuzzy Systems, Calcut TP18-53/AFS
馆藏复本:1
可借复本:1 Nikhil R. Pal, Michio Sugeno (eds.)
Springer, c2002.
(0) 馆藏
上一页 1 / 4 下一页 到第 页