1.

電子ブック
ＥＢ
1. Scientific Applications of Neural Nets : Proceedings of the 194th W.E. Heraeus Seminar Held at Bad Honnef, Germany, 11–13 May 1998. 1st ed. 1999
edited by John W. Clark, Thomas Lindenau, Manfred L. Ristig
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999
シリーズ名: Lecture Notes in Physics ; 522
オンライン: https://doi.org/10.1007/BFb0104276
2.

電子ブック
ＥＢ
2. Advances in Structural and Syntactical Pattern Recognition : 6th International Workshop, SSPR' 96, Leipzig, Germany, August, 20 - 23, 1996, Proceedings. 1st ed. 1996
edited by Petra Perner, Patrick Wang, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1121
オンライン: https://doi.org/10.1007/3-540-61577-6
3.

電子ブック
ＥＢ
3. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings. 1st ed. 1996
edited by Jacques Calmet, Carla Limongelli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1128
オンライン: https://doi.org/10.1007/3-540-61697-7
4.

電子ブック
ＥＢ
4. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2
5.

電子ブック
ＥＢ
5. Logics in Artificial Intelligence : European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings. 1st ed. 1996
edited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1126
オンライン: https://doi.org/10.1007/3-540-61630-6
6.

電子ブック
ＥＢ
6. Artificial Evolution : European Conference, AE '95, Brest, France, September 4 - 6, 1995. Selected Papers. 1st ed. 1996
edited by Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1063
オンライン: https://doi.org/10.1007/3-540-61108-8
7.

電子ブック
ＥＢ
7. Advances in Case-Based Reasoning : Third European Workshop, EWCBR-96, Lausanne, Switzerland, November 14 - 16, 1996, Proceedings. 1st ed. 1996
edited by Ian Smith, Boi Faltings
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1168
オンライン: https://doi.org/10.1007/BFb0020597
8.

電子ブック
ＥＢ
8. Agents Breaking Away : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, The Netherlands, January 22 - 25, 1996. Proceedings. 1st ed. 1996
edited by Walter van de Velde, John Perram
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1038
オンライン: https://doi.org/10.1007/BFb0031841
9.

電子ブック
ＥＢ
9. Graphics Recognition. Methods and Applications : First International Workshop, University Park, PA, USA, August (10-11), 1995. Selected Papers. 1st ed. 1996
edited by Rangachar Kasturi, Karl Tombre
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1072
オンライン: https://doi.org/10.1007/3-540-61226-2
10.

電子ブック
ＥＢ
10. Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings. 1st ed. 1996
edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1138
オンライン: https://doi.org/10.1007/3-540-61732-9
11.

電子ブック
ＥＢ
11. Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers. 1st ed. 1996
edited by Takeshi Furuhashi, Yoshiki Uchikawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1152
オンライン: https://doi.org/10.1007/3-540-61988-7
12.

電子ブック
ＥＢ
12. Practice and Theory of Automated Timetabling : First International Conference, Edinburgh, UK, August 29 - September 1, 1995. Selected Papers. 1st ed. 1996
edited by Edmund Burke, Peter Ross
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1153
オンライン: https://doi.org/10.1007/3-540-61794-9
13.

電子ブック
ＥＢ
13. Applications of Multi-Agent Systems : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, Odense, Denmark, August 1994 Proceedings. 1st ed. 1996
edited by John Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1069
オンライン: https://doi.org/10.1007/3-540-61157-6
14.

電子ブック
ＥＢ
14. Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings. 1st ed. 1996
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: https://doi.org/10.1007/3-540-61464-8
15.

電子ブック
ＥＢ
15. SOFSEM '96: Theory and Practice of Informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - 30, 1996. Proceedings. 1st ed. 1996
edited by Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: https://doi.org/10.1007/BFb0037392
16.

電子ブック
ＥＢ
16. Trends in Natural Language Generation: An Artificial Intelligence Perspective : Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 Selected Papers. 1st ed. 1996
edited by Giovanni Adorni, Michael Zock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1036
オンライン: https://doi.org/10.1007/3-540-60800-1
17.

電子ブック
ＥＢ
17. Over-Constrained Systems. 1st ed. 1996
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: https://doi.org/10.1007/3-540-61479-6
18.

電子ブック
ＥＢ
18. Evolutionary Computing : AISB Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers. 1st ed. 1996
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1143
オンライン: https://doi.org/10.1007/BFb0032768
19.

電子ブック
ＥＢ
19. Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. 1st ed. 1996
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1050
オンライン: https://doi.org/10.1007/3-540-60983-0
20.

電子ブック
ＥＢ
20. Artificial Neural Networks - ICANN 96 : 6th International Conference, Bochum, Germany, July 16 - 19, 1996. Proceedings. 1st ed. 1996
edited by Christoph von der Malsburg, Werner von Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: https://doi.org/10.1007/3-540-61510-5
21.

電子ブック
ＥＢ
21. Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers. 1st ed. 1996
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: https://doi.org/10.1007/3-540-61780-9
22.

電子ブック
ＥＢ
22. Object Representation in Computer Vision II : ECCV '96 International Workshop, Cambridge, UK, April 13 - 14, 1996. Proceedings. 1st ed. 1996
edited by Jean Ponce, Andrew Zisserman, Martial Hebert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1144
オンライン: https://doi.org/10.1007/3-540-61750-7
23.

電子ブック
ＥＢ
23. Towards Evolvable Hardware : The Evolutionary Engineering Approach. 1st ed. 1996
edited by Eduardo Sanchez, Marco Tomassini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1062
オンライン: https://doi.org/10.1007/3-540-61093-6
24.

電子ブック
ＥＢ
24. Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers. 1st ed. 1996
edited by Hans Kleine Buening
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: https://doi.org/10.1007/3-540-61377-3
25.

電子ブック
ＥＢ
25. Compiler Construction : 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. 1st ed. 1996
edited by Tibor Gyimothy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: https://doi.org/10.1007/3-540-61053-7
26.

電子ブック
ＥＢ
26. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings. 1st ed. 1996
edited by Joakim von Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: https://doi.org/10.1007/BFb0105392
27.

電子ブック
ＥＢ
27. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
edited by Herbert Kuchen, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: https://doi.org/10.1007/3-540-61756-6
28.

電子ブック
ＥＢ
28. Intelligent Tutoring Systems : Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings. 1st ed. 1996
edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1086
オンライン: https://doi.org/10.1007/3-540-61327-7
29.

電子ブック
ＥＢ
29. Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. 1st ed. 1996
edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1073
オンライン: https://doi.org/10.1007/3-540-61228-9
30.

電子ブック
ＥＢ
30. Active Visual Inference of Surface Shape. 1st ed. 1996
by Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1016
オンライン: https://doi.org/10.1007/3-540-60642-4
31.

電子ブック
ＥＢ
31. Computer Vision - ECCV '96 : Fourth European Conference on Computer Vision, Cambridge, UK, April 14 -18, 1996. Proceedings, Volume I. 1st ed. 1996
edited by Bernard Buxton, Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1064
オンライン: https://doi.org/10.1007/BFb0015518
32.

電子ブック
ＥＢ
32. Advances in Database Technology EDBT '96 : 5th International Conference on Extending Database Technology, Avignon, France, March 25-29 1996, Proceedings. 1st ed. 1996
edited by Peter Apers, Georges Gardarin, Mokrane Bouzeghoub
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1057
オンライン: https://doi.org/10.1007/BFb0014139
33.

電子ブック
ＥＢ
33. Computer Vision - ECCV '96 : Fourth European Conference on Computer Vision, Cambridge, UK April 14-18, 1996. Proceedings, Volume II. 1st ed. 1996
edited by Bernard Buxton, Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1065
オンライン: https://doi.org/10.1007/3-540-61123-1
34.

電子ブック
ＥＢ
34. Parallel Problem Solving from Nature - PPSN IV : International Conference on Evolutionary Computation. The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22 - 26, 1996. Proceedings. 1st ed. 1996
edited by Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel, Hans-Michael Voigt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: https://doi.org/10.1007/3-540-61723-X
35.

電子ブック
ＥＢ
35. PRICAI '96: Topics in Artificial Intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26 - 30, 1996, Proceedings. 1st ed. 1996
edited by Norman Foo, Randy Goebel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1114
オンライン: https://doi.org/10.1007/3-540-61532-6
36.

電子ブック
ＥＢ
36. Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. 1st ed. 1996
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1085
オンライン: https://doi.org/10.1007/3-540-61313-7
37.

電子ブック
ＥＢ
37. Reasoning with Logic Programming. 1st ed. 1996
by Jose Julio Alferes, Luis Moniz Pereira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1111
オンライン: https://doi.org/10.1007/3-540-61488-5
38.

電子ブック
ＥＢ
38. Automated Deduction in Equational Logic and Cubic Curves. 1st ed. 1996
by William McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1095
オンライン: https://doi.org/10.1007/3-540-61398-6
39.

電子ブック
ＥＢ
39. Automatic Ambiguity Resolution in Natural Language Processing : An Empirical Approach. 1st ed. 1996
by Alexander Franz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1171
オンライン: https://doi.org/10.1007/BFb0021059
40.

電子ブック
ＥＢ
40. Algorithmic Learning Theory : 7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings. 1st ed. 1996
edited by Setsuo Arikawa, Arun K. Sharma
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1160
オンライン: https://doi.org/10.1007/3-540-61863-5
41.

電子ブック
ＥＢ
41. Advances in Knowledge Acquisition : 9th European Knowledge Acquisition Workshop, EKAW'96, Nottingham, UK, May 14 - 17, 1996. Proceedings. 1st ed. 1996
edited by Nigel Shadbolt, Kieron O'Hara, Guus Schreiber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1076
オンライン: https://doi.org/10.1007/3-540-61273-4
42.

電子ブック
ＥＢ
42. The Design of Intelligent Agents : A Layered Approach. 1st ed. 1996
by Jörg Müller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1177
オンライン: https://doi.org/10.1007/BFb0017806
43.

電子ブック
ＥＢ
43. Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings. 1st ed. 1996
edited by Michael A. McRobbie, J.K. Slaney
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1104
オンライン: https://doi.org/10.1007/3-540-61511-3
44.

電子ブック
ＥＢ
44. Advances in Artificial Intelligence : 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23 - 25, 1996; Proceedings. 1st ed. 1996
edited by Dibio L. Borges, Celso A.A. Kaestner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1159
オンライン: https://doi.org/10.1007/3-540-61859-7
45.

電子ブック
ＥＢ
45. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings. 1st ed. 1996
edited by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1071
オンライン: https://doi.org/10.1007/3-540-61208-4
46.

電子ブック
ＥＢ
46. Conceptual Structures: Knowledge Representations as Interlingua : 4th International Conference on Conceptual Structures, ICCS'96, Sydney, Australia, August 19 - 22, 1996, Proceedings. 1st ed. 1996
edited by Peter W. Eklund, Gerard Ellis, Graham Mann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1115
オンライン: https://doi.org/10.1007/3-540-61534-2
47.

電子ブック
ＥＢ
47. Adaptation and Learning in Multi-Agent Systems : IJCAI' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. 1st ed. 1996
edited by Gerhard Weiß, Sandip Sen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1042
オンライン: https://doi.org/10.1007/3-540-60923-7
48.

電子ブック
ＥＢ
48. Intelligent Agents II: Agent Theories, Architectures, and Languages : IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings. 1st ed. 1996
edited by Michael Wooldridge, Jörg Müller, Milind Tambe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1037
オンライン: https://doi.org/10.1007/3-540-60805-2
49.

電子ブック
ＥＢ
49. Distributed Artificial Intelligence: Architecture and Modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings. 1st ed. 1996
edited by Chengqi Zhang, Dickson Lukose
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1087
オンライン: https://doi.org/10.1007/3-540-61314-5
50.

電子ブック
ＥＢ
50. Grammatical Inference: Learning Syntax from Sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Laurent Miclet, Colin de la Higuera
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1147
オンライン: https://doi.org/10.1007/BFb0033338
51.

電子ブック
ＥＢ
51. Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing. 1st ed. 1996
edited by Stefan Wermter, Ellen Riloff, Gabriele Scheler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1040
オンライン: https://doi.org/10.1007/3-540-60925-3
52.

電子ブック
ＥＢ
52. Time Structures : Formal Description and Algorithmic Representation. 1st ed. 1996
by Elzbieta Hajnicz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1047
オンライン: https://doi.org/10.1007/3-540-60941-5
53.

電子ブック
ＥＢ
53. Logic in Databases : International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings. 1st ed. 1996
edited by Dino Pedreschi, Carlo Zaniolo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1154
オンライン: https://doi.org/10.1007/BFb0031733
54.

電子ブック
ＥＢ
54. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings. 1st ed. 1996
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: https://doi.org/10.1007/3-540-62064-8
55.

電子ブック
ＥＢ
55. Reasoning with Uncertainty in Robotics : International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995. Proceedings. 1st ed. 1996
edited by Leo Dorst, Michiel van Lambalgen, Frans Voorbraak
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1093
オンライン: https://doi.org/10.1007/BFb0013951
56.

電子ブック
ＥＢ
56. Efficient Visual Recognition Using the Hausdorff Distance. 1st ed. 1996
by William Rucklidge
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1173
オンライン: https://doi.org/10.1007/BFb0015091
57.

電子ブック
ＥＢ
57. Computer Aided Systems Theory - EUROCAST '95 : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22 - 25, 1995. Proceedings. 1st ed. 1996
edited by Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1030
オンライン: https://doi.org/10.1007/BFb0034745
58.

電子ブック
ＥＢ
58. KI-96: Advances in Artificial Intelligence : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, Proceedings. 1st ed. 1996
edited by Günther Görz, Steffen Hölldobler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1137
オンライン: https://doi.org/10.1007/3-540-61708-6
59.

電子ブック
ＥＢ
59. Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings. 1st ed. 1996
edited by Maurizio Proietti
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1048
オンライン: https://doi.org/10.1007/3-540-60939-3
60.

電子ブック
ＥＢ
60. Advances in Artificial Intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96, Toronto, Canada, May (21-24), 1996. Proceedings. 1st ed. 1996
edited by Gordon McCalla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1081
オンライン: https://doi.org/10.1007/3-540-61291-2
61.

電子ブック
ＥＢ
61. Foundations of Intelligent Systems : 9th International Symposium, ISMIS'96, Zakopane, Poland, June (9-13), 1996. Proceedings. 1st ed. 1996
edited by Zbigniew W. Ras, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1079
オンライン: https://doi.org/10.1007/3-540-61286-6
62.

電子ブック
ＥＢ
62. Database and Expert Systems Applications : 7th International Conference, DEXA '96, Zurich, Switzerland, September 9 - 13 , 1996. Proceedings. 1st ed. 1996
edited by Roland Wagner, Helmut Thoma
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1134
オンライン: https://doi.org/10.1007/BFb0034664
63.

電子ブック
ＥＢ
63. Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers. 1st ed. 1995
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 958
オンライン: https://doi.org/10.1007/3-540-60156-2
64.

電子ブック
ＥＢ
64. Object Representation in Computer Vision : International NSF-ARPA Workshop, New York City, NY, USA, December 5 - 7, 1994. Proceedings. 1st ed. 1995
edited by Martial Hebert, Jean Ponce, Terry Boult, Ari Gross
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 994
オンライン: https://doi.org/10.1007/3-540-60477-4
65.

電子ブック
ＥＢ
65. Human-Computer Interaction : 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers. 1st ed. 1995
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1015
オンライン: https://doi.org/10.1007/3-540-60614-9
66.

電子ブック
ＥＢ
66. Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings. 1st ed. 1995
edited by Christine Froidevaux, Juerg Kohlas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 946
オンライン: https://doi.org/10.1007/3-540-60112-0
67.

電子ブック
ＥＢ
67. Term Indexing. 1st ed. 1995
by Peter Graf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1053
オンライン: https://doi.org/10.1007/3-540-61040-5
68.

電子ブック
ＥＢ
68. Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, August 9 - 10, 1994. Selected Papers. 1st ed. 1995
edited by Takeshi Furuhashi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1011
オンライン: https://doi.org/10.1007/3-540-60607-6
69.

電子ブック
ＥＢ
69. Advances in Artificial Life : Third European Conference on Artificial Life, Granada, Spain, June 4 - 6, 1995 Proceedings. 1st ed. 1995
edited by Federico Moran, Alvaro Moreno, Juan J. Merelo, Pablo Chacon
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 929
オンライン: https://doi.org/10.1007/3-540-59496-5
70.

電子ブック
ＥＢ
70. Analysis of Dynamical and Cognitive Systems : Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings. 1st ed. 1995
edited by Stig I. Andersson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 888
オンライン: https://doi.org/10.1007/3-540-58843-4
71.

電子ブック
ＥＢ
71. Case-Based Reasoning Research and Development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23 - 26, 1995. Proceedings. 1st ed. 1995
edited by Manuela Veloso, Agnar Aamodt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1010
オンライン: https://doi.org/10.1007/3-540-60598-3
72.

電子ブック
ＥＢ
72. Evolutionary Computing : AISB Workshop, Sheffield, U.K., April 3 - 4, 1995. Selected Papers. 1st ed. 1995
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 993
オンライン: https://doi.org/10.1007/3-540-60469-3
73.

電子ブック
ＥＢ
73. Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers. 1st ed. 1995
edited by Andreas Podelski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 910
オンライン: https://doi.org/10.1007/3-540-59155-9
74.

電子ブック
ＥＢ
74. Metaclasses and Their Application : Data Model Tailoring and Database Integration. 1st ed. 1995
edited by Wolfgang Klas, Michael Schrefl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 943
オンライン: https://doi.org/10.1007/BFb0027185
75.

電子ブック
ＥＢ
75. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings. 1st ed. 1995
edited by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 928
オンライン: https://doi.org/10.1007/3-540-59487-6
76.

電子ブック
ＥＢ
76. Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. 1st ed. 1995
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 996
オンライン: https://doi.org/10.1007/3-540-60579-7
77.

電子ブック
ＥＢ
77. Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Kanchana Kanchanasut, Jean-Jacques Levy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1023
オンライン: https://doi.org/10.1007/3-540-60688-2
78.

電子ブック
ＥＢ
78. Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings. 1st ed. 1995
edited by Georg Gottlob, Moshe Y. Vardi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 893
オンライン: https://doi.org/10.1007/3-540-58907-4
79.

電子ブック
ＥＢ
79. Information Management in Computer Integrated Manufacturing : A Comprehensive Guide to State-of-the-Art CIM Solutions. 1st ed. 1995
edited by Heimo H. Adelsberger, Jiri Lazansky, Vladimir Marik
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 973
オンライン: https://doi.org/10.1007/3-540-60286-0
80.

電子ブック
ＥＢ
80. Image Analysis and Processing : 8th International Conference, ICIAP '95, San Remo, Italy, September 13 - 15, 1995. Proceedings. 1st ed. 1995
edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 974
オンライン: https://doi.org/10.1007/3-540-60298-4
81.

電子ブック
ＥＢ
81. Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings. 1st ed. 1995
edited by E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 971
オンライン: https://doi.org/10.1007/3-540-60275-5
82.

電子ブック
ＥＢ
82. Advances in Intelligent Computing - IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994. Selected Papers. 1st ed. 1995
edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 945
オンライン: https://doi.org/10.1007/BFb0035932
83.

電子ブック
ＥＢ
83. Artificial Neural Networks : An Introduction to ANN Theory and Practice. 1st ed. 1995
edited by P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 931
オンライン: https://doi.org/10.1007/BFb0027019
84.

電子ブック
ＥＢ
84. Computer Vision, Virtual Reality and Robotics in Medicine : First International Conference, CVRMed '95, Nice, France, April 3 - 6, 1995. Proceedings. 1st ed. 1995
edited by Nicholas Ayache
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 905
オンライン: https://doi.org/10.1007/978-3-540-49197-2
85.

電子ブック
ＥＢ
85. Spatial Information Theory: A Theoretical Basis for GIS : A Thoretical Basis for GIS. International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995, Proceedings. 1st ed. 1995
edited by Andrew U. Frank, Werner Kuhn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 988
オンライン: https://doi.org/10.1007/3-540-60392-1
86.

電子ブック
ＥＢ
86. Evolution and Biocomputation : Computational Models of Evolution. 1st ed. 1995
edited by Wolfgang Banzhaf, Frank H. Eckman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 899
オンライン: https://doi.org/10.1007/3-540-59046-3
87.

電子ブック
ＥＢ
87. Deductive and Object-Oriented Databases : Fourth International Conference, DOOD' 95, Singapore, December 4-7, 1995. Proceedings. 1st ed. 1995
edited by Tok W. Ling, Alberto O. Mendelzon, Laurent Vieille
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1013
オンライン: https://doi.org/10.1007/3-540-60608-4
88.

電子ブック
ＥＢ
88. Theorem Provers in Circuit Design: Theory, Practice and Experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings. 1st ed. 1995
edited by Ramayya Kumar, Thomas Kropf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 901
オンライン: https://doi.org/10.1007/3-540-59047-1
89.

電子ブック
ＥＢ
89. Spatial Representation and Motion Planning. 1st ed. 1995
by Angel P. del Pobil, Miquel A. Serna
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1014
オンライン: https://doi.org/10.1007/3-540-60620-3
90.

電子ブック
ＥＢ
90. Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings. 1st ed. 1995
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: https://doi.org/10.1007/3-540-60299-2
91.

電子ブック
ＥＢ
91. Executable Modal and Temporal Logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings. 1st ed. 1995
edited by Michael Fisher, Richard Owens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 897
オンライン: https://doi.org/10.1007/3-540-58976-7
92.

電子ブック
ＥＢ
92. From Reaction to Cognition : 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, Neuchatel, Switzerland, August 25-27, 1993. Selected Papers. 1st ed. 1995
edited by Cristiano Castelfranchi, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 957
オンライン: https://doi.org/10.1007/BFb0027051
93.

電子ブック
ＥＢ
93. Automated Modeling of Physical Systems. 1st ed. 1995
by P. Pandurang Nayak
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1003
オンライン: https://doi.org/10.1007/3-540-60641-6
94.

電子ブック
ＥＢ
94. Algorithmic Learning for Knowledge-Based Systems : GOSLER Final Report. 1st ed. 1995
edited by Klaus P. Jantke, Steffen Lange
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 961
オンライン: https://doi.org/10.1007/3-540-60217-8
95.

電子ブック
ＥＢ
95. Conceptual Structures: Applications, Implementation and Theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995. Proceedings. 1st ed. 1995
edited by Gerard Ellis, Robert Levinson, William Rich, John F. Sowa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 954
オンライン: https://doi.org/10.1007/3-540-60161-9
96.

電子ブック
ＥＢ
96. Progress in Artificial Intelligence : 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3 - 6, 1995. Proceedings. 1st ed. 1995
edited by Carlos Pinto-Ferreira, Nuno J. Mamede
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 990
オンライン: https://doi.org/10.1007/3-540-60428-6
97.

電子ブック
ＥＢ
97. Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings. 1st ed. 1995
edited by Peter Baumgartner, Reiner Hähnle, Joachim Posegga
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 918
オンライン: https://doi.org/10.1007/3-540-59338-1
98.

電子ブック
ＥＢ
98. Non-Monotonic Extensions of Logic Programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers. 1st ed. 1995
edited by Louis M. Pereira, Teodor C. Przymusinski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 927
オンライン: https://doi.org/10.1007/BFb0030655
99.

電子ブック
ＥＢ
99. Progress in Case-Based Reasoning : First United Kingdom Workshop, Salford, UK, January 12, 1995. Proceedings. 1st ed. 1995
edited by Ian D. Watson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 1020
オンライン: https://doi.org/10.1007/3-540-60654-8
100.

電子ブック
ＥＢ
100. Computational Learning Theory : Second European Conference, EuroCOLT '95, Barcelona, Spain, March 13 - 15, 1995. Proceedings. 1st ed. 1995
edited by Paul Vitanyi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Artificial Intelligence ; 904
オンライン: https://doi.org/10.1007/3-540-59119-2