著者典拠情報

標目形：
Richter, Michael M., 1938-
属性：
Personal
日付：
1938-
から見よ参照形：
Richter, M. M. (Michael M.), 1938-
注記：
His Logikkalküle, 1978: t.p. (Dr. rer. nat. Michael M. Richter, Wiss. Rat u. Prof., TU, Aachen) verso t.p. (b. 1938 in Berlin)
Logic Colloquium (1983 : Aachen, Germany). Models and sets, 1984- : v. 1, t.p. (M. M. Richter)
著者典拠ID：
DA01907786


 close
1.

図書
図書
1. Topics in case-based reasoning : First European Workshop EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers (: gw ; : us)
Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter (eds.)
出版情報: Berlin ; New York : Springer Verlag, c1994
シリーズ名: Lecture notes in computer science ; 837 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings (: gw ; : us)
H. Boley, M.M. Richter, (eds.)
出版情報: Berlin ; New York : Springer Verlag, c1991
シリーズ名: Lecture notes in computer science ; 567 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 440
所蔵情報: loading…
4.

図書
図書
4. CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Tokyo : Springer-Verlag, c1989 , Berlin : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science / 日本生物物理学会編 ; 385
所蔵情報: loading…
5.

図書
図書
5. CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings (: gw ; : us)
E. Börger, H. Kleine Büning, M.M. Richter (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 329
所蔵情報: loading…
6.

図書
図書
6. Systems of reductions (: gw ; : us)
B. Benninghofen, S. Kemmerich, M.M. Richter
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 277
所蔵情報: loading…
7.

図書
図書
7. Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II (: gw ; : us)
edited by M.M. Richter ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1104
所蔵情報: loading…
8.

図書
図書
8. Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I (: us ; : gw)
edited by G.H. Müller and M.M. Richter
出版情報: Berlin ; New York : Springer-Verlag, 1984
シリーズ名: Lecture notes in mathematics ; 1103
所蔵情報: loading…