1.

電子ブック
ＥＢ
1. A Future for Knowledge Acquisition : 8th European Knowledge Acquisition Workshop, EKAW '94 Hoegaarden, Belgium, September 26–29, 1994 Proceedings
edited by Luc Steels, Guus Schreiber, Walter Velde
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 867
オンライン: http://dx.doi.org/10.1007/3-540-58487-0
2.

電子ブック
ＥＢ
2. Representing Plans Under Uncertainty : A Logic of Time, Chance, and Action
edited by Peter Haddawy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 770
オンライン: http://dx.doi.org/10.1007/3-540-57697-5
3.

電子ブック
ＥＢ
3. Foundations of Knowledge Representation and Reasoning
edited by Gerhard Lakemeyer, Bernhard Nebel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 810
オンライン: http://dx.doi.org/10.1007/3-540-58107-3
4.

電子ブック
ＥＢ
4. Logics in Artificial Intelligence : European Workshop JELIA '94 York, UK, September 5–8, 1994 Proceedings
edited by Craig MacNish, David Pearce, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 838
オンライン: http://dx.doi.org/10.1007/BFb0021960
5.

電子ブック
ＥＢ
5. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu
edited by Neil D. Jones, Masami Hagiya, Masahiko Sato
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 792
オンライン: http://dx.doi.org/10.1007/BFb0032390
6.

電子ブック
ＥＢ
6. Multiagent Systems : A Theoretical Framework for Intentions, Know-How, and Communications
by Munindar P. Singh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 799
オンライン: http://dx.doi.org/10.1007/BFb0030531
7.

電子ブック
ＥＢ
7. Computers for Handicapped Persons : 4th International Conference, ICCHP '94 Vienna, Austria, September 14–16, 1994 Proceedings
edited by Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 860
オンライン: http://dx.doi.org/10.1007/3-540-58476-5
8.

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

電子ブック
ＥＢ
9. Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
edited by Frank Pfenning
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 822
オンライン: http://dx.doi.org/10.1007/3-540-58216-9
10.

電子ブック
ＥＢ
10. Methodologies for Intelligent Systems : 8th International Symposium, ISMIS '94 Charlotte, North Carolina, USA, October 16–19, 1994 Proceedings
edited by Zbigniew W. Raś, Maria Zemankova
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 869
オンライン: http://dx.doi.org/10.1007/3-540-58495-1
11.

電子ブック
ＥＢ
11. Entity-Relationship Approach — ER '93 : 12th International Conference on the Entity-Relationship Approach Arlington, Texas, USA, December 15–17, 1993 Proceedings
edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 823
オンライン: http://dx.doi.org/10.1007/BFb0024351
12.

電子ブック
ＥＢ
12. Vivid Logic : Knowledge-Based Reasoning with Two Kinds of Negation
by Gerd Wagner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 764
オンライン: http://dx.doi.org/10.1007/3-540-57604-5
13.

電子ブック
ＥＢ
13. Fuzzy Logic and Fuzzy Control : IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control Sydney, Australia, August 24, 1991 Proceedings
edited by Dimiter Driankov, Peter W. Eklund, Anca L. Ralescu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 833
オンライン: http://dx.doi.org/10.1007/3-540-58279-7
14.

電子ブック
ＥＢ
14. Parallel, Distributed and Multiagent Production Systems
by Toru Ishida
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 878
オンライン: http://dx.doi.org/10.1007/3-540-58698-9
15.

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

電子ブック
ＥＢ
16. Algorithms and Computation : 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings
edited by Ding-Zhu Du, Xiang-Sun Zhang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 834
オンライン: http://dx.doi.org/10.1007/3-540-58325-4
17.

電子ブック
ＥＢ
17. Logic Program Synthesis and Transformation — Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
edited by Laurent Fribourg, Franco Turini
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 883
オンライン: http://dx.doi.org/10.1007/3-540-58792-6
18.

電子ブック
ＥＢ
18. Compiler Construction : 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings
edited by Peter A. Fritzson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 786
オンライン: http://dx.doi.org/10.1007/3-540-57877-3
19.

電子ブック
ＥＢ
19. Evolutionary Computing : AISB Workshop Leeds, U.K., April 11–13, 1994 Selected Papers
edited by Terence C. Fogarty
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 865
オンライン: http://dx.doi.org/10.1007/3-540-58483-8
20.

電子ブック
ＥＢ
20. Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
edited by Jeffrey J. Joyce, Carl-Johan H. Seger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 780
オンライン: http://dx.doi.org/10.1007/3-540-57826-9
21.

電子ブック
ＥＢ
21. KI-94: Advances in Artificial Intelligence : 18th German Annual Conference on Artificial Intelligence Saarbrücken, Germany, September 18–23, 1994 Proceedings
edited by Bernhard Nebel, Leonie Dreschler-Fischer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 861
オンライン: http://dx.doi.org/10.1007/3-540-58467-6
22.

電子ブック
ＥＢ
22. Qualitative Representation of Spatial Knowledge
edited by Daniel Hernández
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 804
オンライン: http://dx.doi.org/10.1007/BFb0020328
23.

電子ブック
ＥＢ
23. Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings
edited by Roy Dyckhoff
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 798
オンライン: http://dx.doi.org/10.1007/3-540-58025-5
24.

電子ブック
ＥＢ
24. The Dynamics of Concepts : A Connectionist Model
edited by Philip R. Loocke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 766
オンライン: http://dx.doi.org/10.1007/BFb0027534
25.

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

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

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

電子ブック
ＥＢ
28. Computer Aided Systems Theory — EUROCAST '93 : A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 Proceedings
edited by Franz Pichler, Roberto Moreno Díaz
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 763
オンライン: http://dx.doi.org/10.1007/3-540-57601-0
29.

電子ブック
ＥＢ
29. Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
edited by Egon Börger, Yuri Gurevich, Karl Meinke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 832
オンライン: http://dx.doi.org/10.1007/BFb0049319
30.

電子ブック
ＥＢ
30. Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning Theory, ALT '94 Reinhardsbrunn Castle, Germany October 10–15, 1994 Proceedings
edited by Setsuo Arikawa, Klaus P. Jantke
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 872
オンライン: http://dx.doi.org/10.1007/3-540-58520-6
31.

電子ブック
ＥＢ
31. Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop Chamberry, France, August 28, 1993 Proceedings
edited by Anca L. Ralescu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 847
オンライン: http://dx.doi.org/10.1007/3-540-58409-9
32.

電子ブック
ＥＢ
32. Algebraic and Logic Programming : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
edited by Giorgio Levi, Mario Rodríguez-Artalejo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 850
オンライン: http://dx.doi.org/10.1007/3-540-58431-5
33.

電子ブック
ＥＢ
33. Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
edited by Alan Bundy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI) ; 814
オンライン: http://dx.doi.org/10.1007/3-540-58156-1
34.

電子ブック
ＥＢ
34. Topics in Case-Based Reasoning : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers
edited by Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 837
オンライン: http://dx.doi.org/10.1007/3-540-58330-0
35.

電子ブック
ＥＢ
35. IGIS '94: Geographic Information Systems : International Workshop on Advanced Research in Geographic Information Systems Monte Verità, Ascona, Switzerland February 28 – March 4, 1994 Proceedings
edited by Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 884
オンライン: http://dx.doi.org/10.1007/3-540-58795-0
36.

電子ブック
ＥＢ
36. Knowledge Representation and Reasoning Under Uncertainty : Logic at Work
edited by Michael Masuch, László Pólos
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 808
オンライン: http://dx.doi.org/10.1007/3-540-58095-6
37.

電子ブック
ＥＢ
37. Parallel Problem Solving from Nature — PPSN III : International Conference on Evolutionary Computation The Third Conference on Parallel Problem Solving from Nature Jerusalem, Israel, October 9–14, 1994 Proceedings
edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 866
オンライン: http://dx.doi.org/10.1007/3-540-58484-6
38.

電子ブック
ＥＢ
38. Machine Learning: ECML-94 : European Conference on Machine Learning Catania, Italy, April 6–8, 1994 Proceedings
edited by Francesco Bergadano, Luc Raedt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 784
オンライン: http://dx.doi.org/10.1007/3-540-57868-4
39.

電子ブック
ＥＢ
39. Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
edited by Manuel Hermenegildo, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 844
オンライン: http://dx.doi.org/10.1007/3-540-58402-1
40.

電子ブック
ＥＢ
40. Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering : 13th International Conference on the Entity-Relationship Approach Manchester, United Kingdom, December 13–16, 1994 Proceedings
edited by Pericles Loucopoulos
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 881
オンライン: http://dx.doi.org/10.1007/3-540-58786-1
41.

電子ブック
ＥＢ
41. Isabelle : A Generic Theorem Prover
edited by Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 828
オンライン: http://dx.doi.org/10.1007/BFb0030541
42.

電子ブック
ＥＢ
42. Advances in Database Technology — EDBT '94 : 4th International Conference on Extending Database Technology Cambridge, United Kingdom, March 28–31, 1994 Proceedings
edited by Matthias Jarke, Janis Bubenko, Keith Jeffery
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 779
オンライン: http://dx.doi.org/10.1007/3-540-57818-8
43.

電子ブック
ＥＢ
43. Grammatical Inference and Applications : Second International Colloquium, ICGI-94 Alicante, Spain, September 21–23, 1994 Proceedings
edited by Rafael C. Carrasco, Jose Oncina
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 862
オンライン: http://dx.doi.org/10.1007/3-540-58473-0
44.

電子ブック
ＥＢ
44. Conceptual Structures: Current Practices : Second International Conference on Conceptual Structures, ICCS'94 College Park, Maryland, USA August 16–20, 1994 Proceedings
edited by William M. Tepfenhart, Judith P. Dick, John F. Sowa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 835
オンライン: http://dx.doi.org/10.1007/3-540-58328-9
45.

電子ブック
ＥＢ
45. Database and Expert Systems Applications : 5th International Conference, DEXA '94 Athens, Greece, September 7–9, 1994 Proceedings
edited by Dimitris Karagiannis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 856
オンライン: http://dx.doi.org/10.1007/3-540-58435-8
46.

電子ブック
ＥＢ
46. Types for Proofs and Programs : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
edited by Henk Barendregt, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 806
オンライン: http://dx.doi.org/10.1007/3-540-58085-9
47.

電子ブック
ＥＢ
47. Artificial Social Systems : 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92 S. Martino al Cimino, Italy, July 29–31, 1992 Selected Papers
edited by Cristiano Castelfranchi, Eric Werner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 830
オンライン: http://dx.doi.org/10.1007/3-540-58266-5
48.

電子ブック
ＥＢ
48. Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
edited by Thomas F. Melham, Juanito Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 859
オンライン: http://dx.doi.org/10.1007/3-540-58450-1
49.

電子ブック
ＥＢ
49. Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings
edited by Dov M. Gabbay, Hans Jürgen Ohlbach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827
オンライン: http://dx.doi.org/10.1007/BFb0013976
50.

電子ブック
ＥＢ
50. Applications of Invariance in Computer Vision : Second Joint European — US Workshop Ponta Delgada, Azores, Portugal October 9–14, 1993 Proceedings
edited by Joseph L. Mundy, Andrew Zisserman, David Forsyth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 825
オンライン: http://dx.doi.org/10.1007/3-540-58240-1
51.

電子ブック
ＥＢ
51. FM8501: A Verified Microprocessor
edited by Warren A. Hunt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 795
オンライン: http://dx.doi.org/10.1007/3-540-57960-5
52.

電子ブック
ＥＢ
52. Constraints in Computational Logics : First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings
edited by Jean-Pierre Jouannaud
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 845
オンライン: http://dx.doi.org/10.1007/BFb0016839