著者典拠情報

著者標目形：
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


1.

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

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. 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.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 385
所蔵情報: 図書館
4.

図書
図書
4. 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
所蔵情報: 図書館
5.

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

図書
図書
6. 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
所蔵情報: 図書館