| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 997 |
Algorithmic learning theory : 6th international workshop, ALT '95, Fukuoka, Japan, October 18-20, 1995 : proceedings / |
Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann (eds.). |
Springer, c1995. |
TP18-532/X63/1995 |
| 992 |
Topics in artificial intelligence : 4th Conference of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings / |
Marco Gori, Giovanni Soda (eds). |
Springer, c1995. |
TP18-532/X121/1995 |
| 991 |
Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings / |
Jacques Wainer, Ariadne Carvalho (eds.). |
Springer-Verlag, c1995. |
TP18-532/X73/1995 |
| 990 |
Progress in artificial intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995 : proceedings / |
Carlos Pinto-Ferreira, Nuno J. Mamede (eds.). |
Springer-Verlag, c1995. |
TP18-532/X107/1995 |
| 984 |
Advances in case-based reasoning : second European workshop, EWCBR-94, Chantilly, France, November 7-10, 1994 : selected papers / |
Jean-Paul Haton, Mark Keane, Michel Manago, (eds.). |
Springer, c1995. |
TP18-532/X90/1994 |
| 957 |
From reaction to cognition : 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, Neuchatel, Switzerlabd, August 25-27, 1993 : selected papers / |
Cristiano Castelfranchi, Jean-Pierre Müller (eds.). |
Springer, c1995. |
TP18-532/X28/1993 |
| 956 |
Progress in evolutionary computation : AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16, 1993, Armidale, NSW, Australia, November 21-22, 1994 : selected papers / |
Xin Yao, (ed.). |
Springer, c1995. |
TP18-532/X198 |
| 946 |
Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995 : proceedings / |
Christine Froidevaux, Jürg Kohlas (eds.). |
Springer Verlag, c1995. |
TP18-532/X62 |
| 941 |
Computation theory : fifth symposium, Zabor鈕w, Poland, December 3-8, 1984 ; proceedings / |
edited by Andrzej Skowron. |
Springer, c1985. |
P176.07/W124 |
| 934 |
Artificial intelligence in medicine : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25-28, 1995 : proceedings / |
Pedro Barahona, Mario Stefanelli, Jeremy Wyatt, eds. |
Springer, c1995. |
R-39/X1/1995 |
| 929 |
Advances in artificial life : Third European Conference on Artificial Life, Granada, Spain, June 4-6, 1995 : proceedings / |
F. Morán ... [et al.], eds. |
Springer, 1995. |
Q-31/X1/1995 |
| 928 |
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings / |
V.W. Marek, A. Nerode, M. Truszczy鈔ski, eds. |
Springer, c1995. |
TP311.11-53/X8 1995 |
| 918 |
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloβ Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / |
Peter Baumgartner, Reiner H？hnle, Joachim Posegga, eds |
Springer, c1995 |
TP18-532/X145/1995 |
| 912 |
Machine learning : ECML-95 : 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25-27, 1995 : proceedings / |
Nada Lavra？, Stefan Wrobel, eds |
Springer, c1995 |
TP18-532/X47/1995 |
| 904 |
Computational learning theory : second European conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995 : proceedings / |
Paul Vitányi, ed. |
Springer, c1995. |
TP18-532/X51/1995 |
| 872 |
Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10-15, 1994 : proceedings / |
Setsuo Arikawa, Klaus P. Jantke, eds. |
Springer-Verlag, c1994. |
TP18-532/X63/1994 |
| 869 |
Methodologies for intelligent systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994 : proceedings / |
Zbigniew W. Ra？, Maria Zemankova, (eds.) |
Springer-Verlag, c1994 |
TP18-532/X16/1994 |
| 867 |
A future for knowledge acquisition : 8th European Knowledge Acquisition Workshop, EKAW '94, Hoegaarden, Belgium, September 26-29, 1994 : proceedings / |
Luc Steels, Guus Schreiber, Walter Van de Velde, (eds.). |
Springer-Verlag, c1994. |
TP182-532/X7/1994 |
| 862 |
Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings / |
Rafael C. Carrasco, Jose Oncina, eds. |
Springer-Verlag, c1994. |
TP301.6/X34/1994 |
| 861 |
KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings / |
Bernhard Nebel, Leonie Dreschler-Fischer, eds. |
Springer-Verlag, c1994. |
TP18-532/X64/1994 |
| 847 |
Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings / |
Anca Ralescu, (ed.). |
Springer-Verlag, c1994. |
TP18-532/X81/1993 |
| 837 |
Topics in case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers / |
Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter, eds. |
Springer-Verlag, c1994. |
TP18-532/X90/1993 |
| 833 |
Fuzzy logic and fuzzy control : IJCAI '91 workshops on fuzzy logic and fuzzy control, Sydney, Australia, August 24, 1991 : proceedings / |
Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu, (eds.). |
Springer-Verlag, c1994. |
TP18-532/X200 |
| 827 |
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / |
Dov M. Gabbay, Hans J. Ohlbach (eds.). |
Springer-Verlag, c1994. |
TP18-532/X52 |
| 822 |
Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / |
Frank Pfenning (ed.). |
Springer-Verlag, c1994. |
TP18-532/X115/1994 |
| 814 |
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / |
Alan Bundy (ed.). |
Springer-Verlag, c1994. |
TP18-532/X25/1994 |
| 810 |
Foundations of knowledge representation and reasoning / |
Gerhard Lakemeyer, Bernhard Nebel (eds.). |
Springer-Verlag, c1994. |
TP18/X273 |
| 798 |
Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / |
Roy Dyckhoff (ed.). |
Springer-Verlag, c1994. |
TP311.11-53/X13 |
| 784 |
Machine learning : ECML-94 : European Conference on Machine Learning, Catania, Italy, April 6-8, 1994 : proceedings / |
Francesco Bergadano, Luc De Raedt, eds. |
Springer-Verlag, c1994. |
TP18-532/X47/1994 |
| 770 |
Representing plans under uncertainty : a logic of time, chance, and action / |
Peter Haddawy. |
Springer-Verlag, c1994. |
G201/X16 |
| 766 |
The dynamics of concepts : a connectionist model / |
Philip R. Van Loocke. |
Springer-Verlag, c1994. |
TP301.6/X95 |
| 764 |
Vivid logic : knowledge-based reasoning with two kinds of negation / |
Gerd Wagner. |
Springer-Verlag, c1994. |
TP18/X276 |
| 754 |
Conceptual structures : theory and implementation : 7th annual workshop, Las Cruces, NM, USA, July 8-10, 1992 : proceedings / |
Heather D. Pfeiffer, Timothy E. Nagle, (eds.). |
Springer, c1993. |
TP14-532/X8 |
| 744 |
Algorithmic learning theory : 4th international workshop, ALT '93, Tokyo, Japan, November 8-10, 1993 : proceedings / |
K.P. Jantke ... [et al.], (eds.). |
Springer-Verlag, c1993. |
TP18-532/X63/1993 |
| 743 |
Algorithmic learning theory : third workshop, ALT '92, Tokyo, Japan, October 20-22, 1992 : proceedings / |
S. Doshita ... [et al.], eds. |
Springer-Verlag, c1993. |
TP18-532/X63/1992 |
| 728 |
Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings / |
Pietro Torasso, (ed.). |
Springer-Verlag, c1993. |
TP18-532/X121/1993 |
| 727 |
Progress in artificial intelligence : 6th Portuguese Conference on AI, EPIA '93, Porto, Portugal, October 6-8, 1993 : proceedings / |
Miguel Filgueiras, Luís Damas, (eds.). |
Springer-Verlag, 1993. |
TP18-532/X107/1993 |
| 699 |
Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993 : proceedings / |
Guy W. Mineau, Bernard Moulin, John F. Sowa, eds. |
Springer-Verlag, c1993. |
TP182-532/X3/1993 |
| 681 |
The logic of information structures / |
Heinrich Wansing. |
Springer-Verlag, c1993. |
TP18/X282 |
| 642 |
Analogical and inductive inference : International Workshop AII '92, Dagstuhl Castle, Germany, October 1992 : proceedings / |
K.P. Jantke, ed. |
Springer-Verlag, c1992. |
TP18-532/X190/1992 |
| 638 |
Neural nets : a theory for brains and machines / |
A.F. Rocha. |
Springer-Verlag, c1992. |
TP183/X20 |
| 633 |
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings / |
D. Pearce, G. Wagner, (eds.). |
Springer-Verlag, c1992. |
TP18-532/X58/1992 |
| 619 |
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / |
D. Pearce, H. Wansing (eds.) |
Springer-Verlag, c1992. |
TP301-532/X10 |
| 617 |
Advanced topics in artificial intelligence : international summer school, Prague, Czechoslovakia, July 6-17, 1992 : proceedings / |
V. Ma？ík, O. ？t？pánková, R. Trappl (eds |
Springer-Verlag, c19 |
TP18-532/X201 |
| 607 |
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / |
D. Kapur, (ed.). |
Springer-Verlag, c1992. |
TP18-532/X25/1992 |
|
|
|
|
|