| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 1699 |
Intelligent agents for telecommunication applications : Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999 : proceedings / |
Sahin Albayrak (ed.). |
Springer, c1999. |
TN91-532/X17 |
| 1695 |
Progress in artificial intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA'99, évora, Portugal, September 22-24, 1999 : proceedings / |
Pedro Barahona, José J. Alferes (eds.). |
Springer, 1999. |
TP18-532/X107 |
| 1669 |
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998 : proceedings / |
Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.). |
Springer, c1999. |
TP18-532/X131/1998 |
| 1650 |
Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings / |
Klaus-Dieter Althoff, Ralph Bergmann, L. Karl Branting (eds.). |
Springer, c1999. |
TP18-532/X72/1999 |
| 1638 |
Symbolic and quantitative approaches to reasoning and uncertainty : European conference, ECSQARU'99, London, UK, July 5-9, 1999 : proceedings / |
Anthony Hunter, Simon Parsons (eds.). |
Springer, c1999. |
TP18-532/X62/1999 |
| 1637 |
Integer optimization by local search : a domain-independent approach / |
Joachim Paul Walser ; foreword by Henry Kautz. |
Springer, c1999. |
O221.4/X2 |
| 1634 |
Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings / |
Sa？o D？eroski, Peter Flach (eds. |
Springer, c199 |
TP311.11-53/X27/1999 |
| 1632 |
Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / |
Harald Ganzinger (ed.). |
Springer, c1999. |
TP18-532/X25/1999 |
| 1621 |
Knowledge acquisition, modeling and management : 11th European Workshop, EKAW '99, Dagstuhl Castle, Germany, May 26-29, 1999 : proceedings / |
Dieter Fensel, Rudi Studer (eds.). |
Springer, c1999. |
TP182-532/X7/1999 |
| 1620 |
Artificial intelligence in medicine : proceedings / |
Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 1999 ; Werner Horn ... [et al.] (eds). |
Springer, c1999. |
R-39/X1/1999 |
| 1617 |
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / |
Niel V. Murray (ed.). |
Springer, c1999. |
TP18-532/X145/1999 |
| 1609 |
Foundations of intelligent systems : 11th International Symposium, ISMIS'99, Warsaw, Poland, June 8-11, 1999 : proceedings / |
Zbigniew W. Ra？, Andrzej Skowron (eds.) |
Springer, c1999 |
TP18-532/X16/1999 |
| 1600 |
Artificial intelligence today : recent trends and developments / |
Michael J. Wooldridge, Manuela Veloso (eds.). |
Springer, c1999. |
TP18/X186 |
| 1585 |
Simulated evolution and learning : Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papers / |
Bob McKay ... [et al.] (eds.). |
Springer, c1999. |
TP15-532/X5 |
| 1574 |
Methodologies for knowledge discovery and data mining : Third Pacific-Asia Conference, PAKDD-99, Beijing, China, April 1999 : proceedings / |
Ning Zhong, Lizhi Zhou, (eds.). |
Springer, c1999. |
TP311.13-53/X32 |
| 1572 |
Computational learning theory : 4th European conference, EuroCOLT '99, Nordkirchen, Germany, March 29-31, 1999 : proceedings / |
Paul Fischer, Hans Ulrich Simon (eds.). |
Springer Verlag, c1999. |
TP18-532/X51/1999 |
| 1570 |
XPS-99 : knowledge-based systems : survey and future directions : 5th biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999 : proceedings / |
Frank Puppe (ed.). |
Springer, c1999. |
TP18-532/X99 |
| 1566 |
Fuzzy logic in artificial intelligence : IJCAI'97 Workshop, Nagoya, Japan, August 23-24, 1997, selected and invited papers / |
Anca L. Ralescu, James G. Shanahan (eds.). |
Springer, c1999. |
TP18-532/X81/1997 |
| 1562 |
Computation for metaphors, analogy, and agents / |
Chrystopher L. Nehaniv (ed.). |
Springer, c1999. |
TP18/X285 |
| 1555 |
Intelligents agents V : agent theories, architectures, and languages : 5th International Workshop, ATAL'98 : Paris, France, July 4-7, 1998 : proceedings / |
J？rg P. Müller, Munindar P. Singh, Anand S. Rao (eds.) |
Springer, 1999 |
TP311-532/X14/1998 |
| 1545 |
Learning robots : 6th European Workshop, EWLR-6, Brighton, England, August 1-2, 1997 : proceedings / |
Andreas Birk, John Demiris (eds.). |
Springer, c1998. |
TP242.6-532/X2 |
| 1544 |
Multi-agent systems : theories, languages, and applications : 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Qld., Australia, July 13, 1998 : proceedings / |
Chengqi Zhang, Dickson Lukose, eds. |
Springer, c1998. |
TP18-532/X96/1998 |
| 1531 |
PRICAI'98 : topics in artificial intelligence : 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998 : proceedings / |
Hing-Yan Lee, Hiroshi Motoda (eds.). |
Springer, c1998. |
TP18-532/X94 |
| 1515 |
Advances in artificial intelligence : 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998 : proceedings / |
Flávio Moreira de Oliveira (ed.). |
Springer, c1998. |
TP18-532/X73/1998 |
| 1510 |
Principles of data mining and knowledge discovery : Second European Symposium, PKDD '98, Nantes, France, September 23-26, 1998 : proceedings / |
Jan M. ？ytkow, Mohamed Quafafou (eds.) |
Springer, c1998 |
TP18-532/X82/1998 |
| 1504 |
KI-98 : advances in artificial intelligence : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998 : proceedings / |
Otthein Herzog, Andreas Günter (eds.). |
Springer, 1998. |
TP18-532/X64/1998 |
| 1502 |
Advanced topics in artificial intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers / |
Grigoris Antoniou, John Slaney (eds.). |
Springer Verlag, c1998. |
TP18-532/X17/1998 |
| 1501 |
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings / |
Michael M. Richter ... [et al.]. |
Springer, c1998. |
TP18-532/X63/1998 |
|
|
|
|
|