1.

電子ブック
ＥＢ
1. Communication and Cooperation in Agent Systems : A Pragmatic Theory
edited by Afsaneh Haddadi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1056
オンライン: http://dx.doi.org/10.1007/3-540-61044-8
2.

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

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

電子ブック
ＥＢ
4. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
5.

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

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

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

電子ブック
ＥＢ
8. Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1071
オンライン: http://dx.doi.org/10.1007/3-540-61208-4
9.

電子ブック
ＥＢ
9. Adaption and Learning in Multi-Agent Systems : IJCAI'95 Workshop Montréal, Canada, August 21, 1995 Proceedings
edited by Gerhard Weiß, Sandip Sen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1042
オンライン: http://dx.doi.org/10.1007/3-540-60923-7
10.

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

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

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

電子ブック
ＥＢ
13. Automated Deduction — Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
edited by M. A. McRobbie, J. K. Slaney
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104
オンライン: http://dx.doi.org/10.1007/3-540-61511-3
14.

電子ブック
ＥＢ
14. Distributed Software Agents and Applications : 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings
edited by John W. Perram, Jean-Pierre Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1069
オンライン: http://dx.doi.org/10.1007/3-540-61157-6
15.

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

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

電子ブック
ＥＢ
17. Intelligent Agents II Agent Theories, Architectures, and Languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings
edited by Michael Wooldridge, Jörg P. Müller, Milind Tambe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1037
オンライン: http://dx.doi.org/10.1007/3-540-60805-2
18.

電子ブック
ＥＢ
18. Reasoning with Logic Programming
edited by José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111
オンライン: http://dx.doi.org/10.1007/3-540-61488-5
19.

電子ブック
ＥＢ
19. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: http://dx.doi.org/10.1007/BFb0105392
20.

電子ブック
ＥＢ
20. 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
edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1141
オンライン: http://dx.doi.org/10.1007/3-540-61723-X
21.

電子ブック
ＥＢ
21. Computer Vision — ECCV '96 : 4th European Conference on Computer Vision Cambridge, UK, April 15–18, 1996 Proceedings, Volume I
edited by Bernard Buxton, Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1064
オンライン: http://dx.doi.org/10.1007/BFb0015518
22.

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

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

電子ブック
ＥＢ
24. Evaluating Natural Language Processing Systems : An Analysis and Review
edited by Karen Sparck Jones, Julia R. Galliers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1083
オンライン: http://dx.doi.org/10.1007/BFb0027470
25.

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

電子ブック
ＥＢ
26. Intelligent Tutoring Systems : Third International Conference, ITS '96 Montréal, Canada, June 12–14, 1996 Proceedings
edited by Claude Frasson, Gilles Gauthier, Alan Lesgold
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1086
オンライン: http://dx.doi.org/10.1007/3-540-61327-7
27.

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

電子ブック
ＥＢ
28. Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
edited by Rajeev Alur, Thomas A. Henzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: http://dx.doi.org/10.1007/3-540-61474-5
29.

電子ブック
ＥＢ
29. Term Indexing
edited by Peter Graf
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1053
オンライン: http://dx.doi.org/10.1007/3-540-61040-5
30.

電子ブック
ＥＢ
30. Foundations of Intelligent Systems : 9th International Symposium, ISMIS '96 Zakopane, Poland, June 9–13, 1996 Proceedings
edited by Zbigniew W. Raś, Maciek Michalewicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1079
オンライン: http://dx.doi.org/10.1007/3-540-61286-6
31.

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

電子ブック
ＥＢ
32. 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
edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1175
オンライン: http://dx.doi.org/10.1007/BFb0037392
33.

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

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

電子ブック
ＥＢ
35. 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
edited by Walter Velde, John W. Perram
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1038
オンライン: http://dx.doi.org/10.1007/BFb0031841
36.

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

電子ブック
ＥＢ
37. Automated Deduction in Equational Logic and Cubic Curves
by W. McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1095
オンライン: http://dx.doi.org/10.1007/3-540-61398-6
38.

電子ブック
ＥＢ
38. Logics in Artificial Intelligence : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings
edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1126
オンライン: http://dx.doi.org/10.1007/3-540-61630-6
39.

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

電子ブック
ＥＢ
40. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: http://dx.doi.org/10.1007/BFb0014301
41.

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

電子ブック
ＥＢ
42. Visualization in Biomedical Computing : 4th International Conference, VBC'96 Hamburg, Germamy, September 22–25, 1996 Proceedings
edited by Karl Heinz Höhne, Ron Kikinis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1131
オンライン: http://dx.doi.org/10.1007/BFb0046929
43.

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

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

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

電子ブック
ＥＢ
46. Advances in Knowledge Acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96 Nottingham, United Kingdom, May 14–17, 1996 Proceedings
edited by Nigel Shadbolt, Kieron O'Hara, Guus Schreiber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1076
オンライン: http://dx.doi.org/10.1007/3-540-61273-4
47.

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

電子ブック
ＥＢ
48. Artificial Neural Networks — ICANN 96 : 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings
edited by Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1112
オンライン: http://dx.doi.org/10.1007/3-540-61510-5
49.

電子ブック
ＥＢ
49. Algebraic and Logic Programming : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
edited by Michael Hanus, Mario Rodríguez-Artalejo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: http://dx.doi.org/10.1007/3-540-61735-3
50.

電子ブック
ＥＢ
50. 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
edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1030
オンライン: http://dx.doi.org/10.1007/BFb0034745
51.

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

電子ブック
ＥＢ
52. The Design of Intelligent Agents : A Layered Approach
by Jörg P. Müller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1177
オンライン: http://dx.doi.org/10.1007/BFb0017806
53.

電子ブック
ＥＢ
53. Efficient Visual Recognition Using the Hausdorff Distance
edited by William Rucklidge
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1173
オンライン: http://dx.doi.org/10.1007/BFb0015091
54.

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

電子ブック
ＥＢ
55. Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29–31, 1996 Proceedings
edited by Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1108
オンライン: http://dx.doi.org/10.1007/BFb0022584
56.

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

電子ブック
ＥＢ
57. Time Structures : Formal Description and Algorithmic Representation
edited by Elżbieta Hajnicz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1047
オンライン: http://dx.doi.org/10.1007/3-540-60941-5
58.

電子ブック
ＥＢ
58. Grammatical Interference: Learning Syntax from Sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25–27, 1996 Proceedings
edited by Laurent Miclet, Colin Higuera
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1147
オンライン: http://dx.doi.org/10.1007/BFb0033338
59.

電子ブック
ＥＢ
59. Automatic Ambiguity Resolution in Natural Language Processing : An Empirical Approach
edited by Alexander Franz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1171
オンライン: http://dx.doi.org/10.1007/BFb0021059
60.

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

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

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

電子ブック
ＥＢ
63. Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: http://dx.doi.org/10.1007/3-540-61551-2
64.

電子ブック
ＥＢ
64. Computer Vision — ECCV '96 : 4th European Conference on Computer Vision Cambridge, UK, April 15–18, 1996 Proceedings Volume II
edited by Bernard Buxton, Roberto Cipolla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1065
オンライン: http://dx.doi.org/10.1007/3-540-61123-1
65.

電子ブック
ＥＢ
65. Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
edited by Hans Kleine Büning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: http://dx.doi.org/10.1007/3-540-61377-3
66.

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

電子ブック
ＥＢ
67. Advances in Artifical Intelligence : 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96 Toronto, Ontario, Canada, May 21–24, 1996 Proceedings
edited by Gordon McCalla
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1081
オンライン: http://dx.doi.org/10.1007/3-540-61291-2
68.

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

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

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

電子ブック
ＥＢ
71. Intelligent Agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages Amsterdam, The Netherlands August 8–9, 1994 Proceedings
edited by Michael J. Wooldridge, Nicholas R. Jennings
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 890
オンライン: http://dx.doi.org/10.1007/3-540-58855-8
72.

電子ブック
ＥＢ
72. Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
edited by Pierre Wolper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 939
オンライン: http://dx.doi.org/10.1007/3-540-60045-0
73.

電子ブック
ＥＢ
73. Artificial Intelligence in Medicine : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95 Pavia, Italy, June 25–28, 1995 Proceedings
edited by Pedro Barahona, Mario Stefanelli, Jeremy Wyatt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 934
オンライン: http://dx.doi.org/10.1007/3-540-60025-6
74.

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

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

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

電子ブック
ＥＢ
77. Metaclasses and Their Application : Data Model Tailoring and Database Integration
by Wolfgang Klas, Michael Schrefl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 943
オンライン: http://dx.doi.org/10.1007/BFb0027185
78.

電子ブック
ＥＢ
78. Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
edited by Peter Baumgartner, Reiner Hähnle, Joachim Possega
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 918
オンライン: http://dx.doi.org/10.1007/3-540-59338-1
79.

電子ブック
ＥＢ
79. Automated Modeling of Physical Systems
by P. Pandurang Nayak
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1003
オンライン: http://dx.doi.org/10.1007/3-540-60641-6
80.

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

電子ブック
ＥＢ
81. 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
edited by Xin Yao
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 956
オンライン: http://dx.doi.org/10.1007/3-540-60154-6
82.

電子ブック
ＥＢ
82. Advances in Artificial Intelligence : 12th Brazilian Symposium on Artificial Intelligence SBIA '95, Campinas, Brazil, October 10–12, 1995 Proceedings
edited by Jacques Wainer, Ariadne Carvalho
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 991
オンライン: http://dx.doi.org/10.1007/BFb0034792
83.

電子ブック
ＥＢ
83. Evolution and Biocomputation : Computational Models of Evolution
edited by Wolfgang Banzhaf, Frank H. Eeckman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 899
オンライン: http://dx.doi.org/10.1007/3-540-59046-3
84.

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

電子ブック
ＥＢ
85. Machine Translation and the Lexicon : Third International EAMT Workshop Heidelberg, Germany, April 26–28, 1993 Proceedings
edited by Petra Steffens
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 898
オンライン: http://dx.doi.org/10.1007/3-540-59040-4
86.

電子ブック
ＥＢ
86. Rewriting Techniques and Applications : 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
edited by Jieh Hsiang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 914
オンライン: http://dx.doi.org/10.1007/3-540-59200-8
87.

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

電子ブック
ＥＢ
88. KI-95: Advances in Artificial Intelligence : 19th Annual German Conference on Artificial Intelligence Bielefeld, Germany, September 11–13, 1995 Proceedings
edited by Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 981
オンライン: http://dx.doi.org/10.1007/3-540-60343-3
89.

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

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

電子ブック
ＥＢ
91. Evolutionary Computing : AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 993
オンライン: http://dx.doi.org/10.1007/3-540-60469-3
92.

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

電子ブック
ＥＢ
93. Algorithmic Learning Theory : 6th International Workshop,ALT '95 Fukuoka, Japan, October 18–20, 1995 Proceedings
edited by Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 997
オンライン: http://dx.doi.org/10.1007/3-540-60454-5
94.

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

電子ブック
ＥＢ
95. Constraint Programming: Basics and Trends : 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
edited by Andreas Podelski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 910
オンライン: http://dx.doi.org/10.1007/3-540-59155-9
96.

電子ブック
ＥＢ
96. Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings
edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 928
オンライン: http://dx.doi.org/10.1007/3-540-59487-6
97.

電子ブック
ＥＢ
97. Tractable Reasoning in Artificial Intelligence
by Marco Cadoli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 941
オンライン: http://dx.doi.org/10.1007/3-540-60058-2
98.

電子ブック
ＥＢ
98. Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
edited by Nachum Dershowitz, Naomi Lindenstrauss
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 968
オンライン: http://dx.doi.org/10.1007/3-540-60381-6
99.

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

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