1.

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
12. Computational Learning Theory : Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13–15, 1995 Proceedings
edited by Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 904
オンライン: http://dx.doi.org/10.1007/3-540-59119-2
13.

電子ブック
ＥＢ
13. Computer Vision — ECCV '94 : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6, 1994 Proceedings, Volume I
edited by Jan-Olof Eklundh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 800
オンライン: http://dx.doi.org/10.1007/3-540-57956-7
14.

電子ブック
ＥＢ
14. Management and Processing of Complex Data Structures : Third Workshop on Information Systems and Artificial Intelligence Hamburg, Germany, February 28–March 2, 1994 Proceedings
edited by Kai Luck, Heinz Marburger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 777
オンライン: http://dx.doi.org/10.1007/3-540-57802-1
15.

電子ブック
ＥＢ
15. Principles and Practice of Constraint Programming : Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings
edited by Alan Borning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 874
オンライン: http://dx.doi.org/10.1007/3-540-58601-6
16.

電子ブック
ＥＢ
16. Human-Computer Interaction : 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers
edited by Brad Blumenthal, Juri Gornostaev, Claus Unger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 876
オンライン: http://dx.doi.org/10.1007/3-540-58648-2
17.

電子ブック
ＥＢ
17. Computer Vision — ECCV '94 : Third European Conference on Computer Vision Stockholm, Sweden, May 2–6 1994 Proceedings, Volume II
edited by Jan-Olof Eklundh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 801
オンライン: http://dx.doi.org/10.1007/BFb0028329
18.

電子ブック
ＥＢ
18. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: http://dx.doi.org/10.1007/BFb0039695
19.

電子ブック
ＥＢ
19. Nonmonotonic and Inductive Logic : Second International Workshop Reinhardsbrunn Castle, Germany December 2–6, 1991 Proceedings
edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 659
オンライン: http://dx.doi.org/10.1007/BFb0030385
20.

電子ブック
ＥＢ
20. Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: http://dx.doi.org/10.1007/3-540-56992-8
21.

電子ブック
ＥＢ
21. Progress in Artificial Intelligence : 6th Portuguese Conference on AI, EPIA '93 Porto, Portugal, October 6–8, 1993 Proceedings
edited by Miguel Filgueiras, Luís Damas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 727
オンライン: http://dx.doi.org/10.1007/3-540-57287-2
22.

電子ブック
ＥＢ
22. Methodologies for Intelligent Systems : 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
edited by Jan Komorowski, Zbigniew W. Raś
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 689
オンライン: http://dx.doi.org/10.1007/3-540-56804-2
23.

電子ブック
ＥＢ
23. Lexical Semantics and Knowledge Representation : First SIGLEX Workshop Berkeley, CA, USA, June 17, 1991 Proceedings
edited by James Pustejovsky, Sabine Bergler
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 627
オンライン: http://dx.doi.org/10.1007/3-540-55801-2
24.

電子ブック
ＥＢ
24. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 636
オンライン: http://dx.doi.org/10.1007/3-540-55930-2
25.

電子ブック
ＥＢ
25. Data structures and efficient algorithms : Final Report on the DFG Special Joint Initiative
edited by B. Monien, Th. Ottmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 594
オンライン: http://dx.doi.org/10.1007/3-540-55488-2
26.

電子ブック
ＥＢ
26. A Perspective of Constraint-Based Reasoning : An Introductory Tutorial
edited by Hans Werner Guesgen, Joachim Hertzberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 597
オンライン: http://dx.doi.org/10.1007/3-540-55510-2
27.

電子ブック
ＥＢ
27. Computer Vision — ECCV'92 : Second European Conference on Computer Vision Santa Margherita Ligure, Italy, May 19–22, 1992 Proceedings
edited by G. Sandini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 588
オンライン: http://dx.doi.org/10.1007/3-540-55426-2
28.

電子ブック
ＥＢ
28. Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings
edited by A. Voronkov
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 592
オンライン: http://dx.doi.org/10.1007/3-540-55460-2
29.

電子ブック
ＥＢ
29. Uncertainty in Knowledge Bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90 Paris, France, July 2–6, 1990 Proceedings
edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 521
オンライン: http://dx.doi.org/10.1007/BFb0028090
30.

電子ブック
ＥＢ
30. Computational Geometry-Methods, Algorithms and Applications : International Workshop on Computational Geometry CG'91 Bern, Switzerland, March 21–22, 1991 Proceedings
edited by H. Bieri, H. Noltemeier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 553
オンライン: http://dx.doi.org/10.1007/3-540-54891-2
31.

電子ブック
ＥＢ
31. Natural Language Processing : EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8–12, 1990 Proceedings
edited by M. Filgueiras, L. Damas, N. Moreira, A. P. Tomás
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 476
オンライン: http://dx.doi.org/10.1007/3-540-53678-7
32.

電子ブック
ＥＢ
32. Conclog: A Methodological Approach to Concurrent Logic Programming
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: http://dx.doi.org/10.1007/3-540-54938-2
33.

電子ブック
ＥＢ
33. Trends in Artificial Intelligence : 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA Palermo, Italy, October, 29–31, 1991 Proceedings
edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 549
オンライン: http://dx.doi.org/10.1007/3-540-54712-6
34.

電子ブック
ＥＢ
34. Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop Montreal, Canada, June 11–14, 1990 Proceedings
edited by S. Kaplan, M. Okada
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 516
オンライン: http://dx.doi.org/10.1007/3-540-54317-1
35.

電子ブック
ＥＢ
35. EPIA 91 : 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings
edited by Pedro Barahona, Luís Moniz Pereira, António Porto
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 541
オンライン: http://dx.doi.org/10.1007/3-540-54535-2
36.

電子ブック
ＥＢ
36. Rewriting Techniques and Applications : 4th International Conference, RTA-91 Como, Italy, April 10–12, 1991 Proceedings
edited by Ronald V. Book
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 488
オンライン: http://dx.doi.org/10.1007/3-540-53904-2
37.

電子ブック
ＥＢ
37. Advances in Spatial Databases : 2nd Symposium, SSD '91 Zurich, Switzerland, August 28–30, 1991 Proceedings
edited by Oliver Günther, Hans-Jörg Schek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 525
オンライン: http://dx.doi.org/10.1007/3-540-54414-3
38.

電子ブック
ＥＢ
38. AI '88 : 2nd Australian Joint Artificial Intelligence Conference Adelaide, Australia, November 15–18, 1988 Proceedings
edited by Christopher J. Barter, Michael J. Brooks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 406
オンライン: http://dx.doi.org/10.1007/3-540-52062-7
39.

電子ブック
ＥＢ
39. CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 440
オンライン: http://dx.doi.org/10.1007/3-540-52753-2
40.

電子ブック
ＥＢ
40. Geometry and Robotics : Workshop, Toulouse, France, May 26–28, 1988 Proceedings
edited by J. -D. Boissonnat, J. -P. Laumond
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 391
オンライン: http://dx.doi.org/10.1007/3-540-51683-2
41.

電子ブック
ＥＢ
41. Non-Monotonic Reasoning : 2nd International Workshop Grassau, FRG, June 13–15, 1988 Proceedings
edited by M. Reinfrank, J. Kleer, M. L. Ginsberg, E. Sandewall
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 346
オンライン: http://dx.doi.org/10.1007/3-540-50701-9
42.

電子ブック
ＥＢ
42. CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 385
オンライン: http://dx.doi.org/10.1007/BFb0026291
43.

電子ブック
ＥＢ
43. Symbolic and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings
edited by P. Gianni
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 358
オンライン: http://dx.doi.org/10.1007/3-540-51084-2
44.

電子ブック
ＥＢ
44. Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 371
オンライン: http://dx.doi.org/10.1007/3-540-51364-7
45.

電子ブック
ＥＢ
45. Computer Assisted Learning : 2nd International Conference, ICCAL '89 Dallas, TX, USA, May 9–11, 1989 Proceedings
edited by Hermann Maurer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 360
オンライン: http://dx.doi.org/10.1007/3-540-51142-3
46.

電子ブック
ＥＢ
46. ESOP '88 : 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
edited by H. Ganzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 300
オンライン: http://dx.doi.org/10.1007/3-540-19027-9
47.

電子ブック
ＥＢ
47. Advanced Topics in Artificial Intelligence : 2nd Advanced Course, ACAI '87 Oslo, Norway, July 28 – August 7, 1987
edited by Rolf T. Nossum
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 345
オンライン: http://dx.doi.org/10.1007/3-540-50676-4
48.

電子ブック
ＥＢ
48. Uncertainty and Intelligent Systems : 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU '88 Urbino, Italy, July 4–7, 1988 Proceedings
edited by B. Bouchon, L. Saitta, R. R. Yager
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 313
オンライン: http://dx.doi.org/10.1007/3-540-19402-9
49.

電子ブック
ＥＢ
49. Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India December 21–23, 1988 Proceedings
edited by Kesav V. Nori, Sanjeev Kumar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 338
オンライン: http://dx.doi.org/10.1007/3-540-50517-2
50.

電子ブック
ＥＢ
50. Unobstructed Shortest Paths in Polyhedral Environments
by Varol Akman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 251
オンライン: http://dx.doi.org/10.1007/3-540-17629-2
51.

電子ブック
ＥＢ
51. Readings on Cognitive Ergonomics — Mind and Computers : Proceedings of the 2nd European Conference Gmunden, Austria, September 10–14, 1984
edited by Gerrit C. Veer, Michael J. Tauber, Thomas R. G. Green, Peter Gorny
出版情報: Berlin, Heidelberg : Springer-Verlag, 1984
シリーズ名: Lecture Notes in Computer Science ; 178
オンライン: http://dx.doi.org/10.1007/3-540-13394-1