上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Richter Michael M.)
該当件数:10件
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings / Michael M. Richter... [et al.], (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1501. Lecture notes in artificial intelligence)
図書 <1000997432>
Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I / edited by Gert H. Müller, Michael M. Richter
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984. - (Lecture Notes in Mathematics ; 1103)
電子ブック <1002986625>
Topics in case-based reasoning : First European Workshop EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers / Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter (eds.)
: gw,: us. - Berlin ; New York : Springer Verlag , c1994. - (Lecture notes in computer science ; 837 . Lecture notes in artificial intelligence)
図書 <1000504038>
Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter, (eds.)
: Berlin,: New York. - Berlin ; New York : Springer Verlag , c1991. - (Lecture notes in computer science ; 567 . Lecture notes in artificial intelligence)
図書 <1000438890>
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 440)
図書 <1000383658>
Information Systems and Data Analysis : Prospects — Foundations — Applications / edited by Hans-Hermann Bock, Wolfgang Lenski, Michael M. Richter
Berlin, Heidelberg : Springer Berlin Heidelberg , 1994. - (Studies in Classification, Data Analysis, and Knowledge Organization)
電子ブック <1002996202>
Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 277)
図書 <1000587430>
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / edited by Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984. - (Lecture Notes in Mathematics ; 1104)
電子ブック <1002986627>
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science ; 385)
図書 <1000652023>
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Berlin ; New York : Springer-Verlag , c1988. - (Lecture notes in computer science ; 329)
図書 <1000587521>