| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 599 |
Current developments in knowledge acquisition : EKAW'92 : 6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992 : proceedings / |
Th. Wetter ... [et al.] (eds). |
Springer-Verlag, c1992. |
TP182-532/X7/1992 |
| 597 |
A perspective of constraint-based reasoning : an introductory tutorial / |
H.W. Guesgen, J. Hertzberg. |
Springer-Verlag, c1992. |
TP18/X274 |
| 590 |
Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17-18, 1990 : proceedings / |
B. Fronh？fer, G. Wrightson, (eds.) |
Springer-Verlag, c1992 |
TP274-532/X83 |
| 587 |
Aspects of automated natural language generation : 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 : proceedings / |
R. Dale ... [et al.], (eds.). |
Springer-Verlag, c1992. |
TP391-532/X34 |
| 567 |
Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / |
H. Boley, M.M. Richter (eds.). |
Springer-Verlag, c1991. |
TP182-532/X14 |
| 565 |
Parallelism, learning, evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989 : Workshop on Parallel Processing: Logic, Organization, and Technology, WOPPLOT 89, Wildbad Kreuth, Germany, July 24-28, 1989 : proceedings / |
J.D. Becker, I. Eisele, F.W. Mündemann (eds.). |
Springer-Verlag, c1991. |
TP274-532/X86 |
| 549 |
Trends in artificial intelligence : 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October 29-31, 1991 : proceedings / |
E. Ardizzone, S. Gaglio, F. Sorbello (eds.). |
Springer-Verlag, c1991. |
TP18-532/X121/1991 |
| 535 |
Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings / |
Ph. Jorrand, J. Kelemen, (eds.). |
Springer-Verlag, c1991. |
TP18-532/X44 |
| 515 |
Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / |
J.P. Martins, M. Reinfrank, eds. |
Springer-Verlag, c1991. |
O213.2/X1 |
| 482 |
Machine learning--EWSL-91 : European Working Session on Learning, Porto, Portugal, March 6-8, 1991 : proceedings / |
Y. Kodratoff (ed.). |
Springer-Verlag, c1991. |
TP181-532/X15 |
| 478 |
Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / |
J. van Eijck (ed.). |
Springer-Verlag, c1991. |
TP18-532/X58/1990 |
| 476 |
Natural language processing : EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990 : proceedings / |
M. Filgueiras ... [et al.], (eds.). |
Springer-Verlag, c1991. |
TP18-532/X199 |
| 475 |
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / |
P. Schroeder-Heister, (ed.). |
Springer-Verlag, c1991. |
TP311-532/X3 |
| 465 |
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / |
A. Fuhrmann, M. Morreau (eds.). |
Springer-Verlag, c1991. |
TP18/X18 |
| 459 |
Natural language and logic : international scientific symposium, Hamburg, FRG, May 1990 : proceedings / |
R. Studer (ed.). |
Springer-Verlag, c1990. |
P112.07/W19 |
| 459 |
Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 / |
R. Studer, ed. |
Springer-Verlag, c1990. |
TP18/X54/1989 |
| 451 |
Artificial intelligence in higher education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989 : proceedings / |
V. Ma？ík, O. ？těpánková, Z. Zdráhal (eds. |
Springer-Verlag, c199 |
TP18/X38 |
| 449 |
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / |
M.E. Stickel, (ed.). |
Springer-Verlag, c1990. |
TP18-532/X25 |
| 446 |
Termination proofs for logic programs / |
Lutz Pl鑥mer. |
Springer-Verlag, c1990. |
P176/W1497 |
| 446 |
Termination proofs for logic programs / |
Lutz Plümer. |
Springer-Verlag, c1990. |
TP311.11/X181 |
| 444 |
Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 proceedings / |
S. Ramani, R. Chandrasekar, K.S.R. Anjaneyulu (eds.). |
Springer-Verlag, c1990. |
TP182-532/X13/1989 |
| 419 |
A methodology for uncertainty in knowledge-based systems / |
Kurt Weichselberger, Sigrid P？hlmann |
Springer-Verlag, c1990 |
TP182/X16 |
| 418 |
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / |
K.H. Blèasius, U. Hedtstèuck, C.-R. Rollinger, eds. |
Springer-Verlag, c1990. |
TP18-532/X187 |
| 406 |
AI '88 : 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988 : proceedings / |
C.J. Barter, M.J. Brooks, (eds.). |
Springer-Verlag, c1990. |
TP18-532/X17/1988 |
| 395 |
Computational aspects of an order-sorted logic with term declarations / |
M. Schmidt-Schauss. |
Springer-Verlag, c1989. |
O141/X95 |
| 390 |
EPIA 89 : 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, proceedings / |
J.P. Martins, E.M. Morgado, (eds.). |
Springer-Verlag, c1989. |
TP18-532/X107/1989 |
| 353 |
Foundations of equational logic programming / |
Steffen H鑟lldobler. |
Springer-Verlag, c1989. |
P176/W1407 |
| 353 |
Foundations of equational logic programming / |
Steffen H？lldoble |
Springer-Verlag, c198 |
TP311.11/X183 |
| 346 |
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings / |
M. Reinfrank, [ed.] ... [et al.]. |
Springer-Verlag, c1989. |
TP18-532/X194/1988 |
| 345 |
Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July 28-August 7, 1987 / |
Rolf T. Nossum, (ed.) |
Springer-Verlag, c1988. |
TP18-532/X185 |
|
|
|
|
|