東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Richter Michael M.)
該当件数:7件
Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings / Michael M. Richter... [et al.], (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1501 . Lecture notes in artificial intelligence)
図書
Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter, (eds.)
Berlin : Springer Verlag , c1991. - New York. - (Lecture notes in computer science ; 567 . Lecture notes in artificial intelligence)
Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 277)
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.)
Berlin : Springer-Verlag , c1990. - Tokyo. - (Lecture notes in computer science ; 440)
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.)
Berlin : Springer Verlag , c1994. - New York. - (Lecture notes in computer science ; 837 . Lecture notes in artificial intelligence)
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.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 385)
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.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 329)