1.

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

電子ブック
ＥＢ
2. Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 626
オンライン: http://dx.doi.org/10.1007/BFb0023753
3.

電子ブック
ＥＢ
3. Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 533
オンライン: http://dx.doi.org/10.1007/3-540-54487-9
4.

電子ブック
ＥＢ
4. Processing Declarative Knowledge : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings
edited by Harold Boley, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 567
オンライン: http://dx.doi.org/10.1007/BFb0013516
5.

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

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

電子ブック
ＥＢ
7. Systems of Reductions
by Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 277
オンライン: http://dx.doi.org/10.1007/3-540-18598-4