1.

電子ブック
ＥＢ
1. 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
2.

電子ブック
ＥＢ
2. 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
3.

電子ブック
ＥＢ
3. 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
4.

電子ブック
ＥＢ
4. 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
5.

電子ブック
ＥＢ
5. 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
6.

電子ブック
ＥＢ
6. 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
7.

電子ブック
ＥＢ
7. Computer Analysis of Images and Patterns : 6th International Conference, CAIP '95 Prague, Czech Republic, September 6–8, 1995 Proceedings
edited by Václav Hlaváč, Radim Šára
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 970
オンライン: http://dx.doi.org/10.1007/3-540-60268-2
8.

電子ブック
ＥＢ
8. 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
9.

電子ブック
ＥＢ
9. 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
10.

電子ブック
ＥＢ
10. 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