Jump to main content

yr 〜
yr

Search results 24

Signal processing and machine learning with applications

Signal processing and machine learning with applications
Paper図書
Michael M. Richter ... [et al.]Springerc2022
Other Libraries in Japan
  • Author HeadingRichter, Michael M.

Case-based reasoning research and development : 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007 : proceedings

Case-based reasoning research and development : 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007 : proceedings
Paper図書
Rosina O. Weber, Michael M. Richter (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Case-Based Reasoning Weber, Rosina O. Richter, Michael M.

Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings

Algorithmic learning theory : 9th international conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998 : proceedings
Paper図書
Michael M. Richter... [et al.], (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingInternational Workshop on Algorithmic Learning Theory Richter, Michael M.

Intelligence and artificial intelligence : an interdisciplinary debate

Intelligence and artificial intelligence : an interdisciplinary debate
Paper図書
U. Ratsch, M.M. Richter, I.-O. Stamatescu (eds.)Springer1998
Other Libraries in Japan
  • Author HeadingRatsch, Ulrich Richter, Michael M. Stamatescu, I.-O. (Ion-Olimpi...

Case-based reasoning research and development : 7th international conference on case-based reasoning, ICCBR 2007 : Belfast, Northern Ireland, UK, August 13-16, 2007 : proceedings. : Aug 2007, Belfast, UK. (Lecture Notes in Computer Science ; 4626. Lecture Notes in Artificial Intelligence)

Case-based reasoning research and development : 7th international conference on case-based reasoning, ICCBR 2007 : Belfast, Northern Ireland, UK, August 13-16, 2007 : proceedings. : Aug 2007, Belfast, UK. (Lecture Notes in Computer Science ; 4626. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-1957>
National Diet Library
  • Author HeadingWeber, Rosina O. Richter, Michael M., 1938- International Conferen...

Information systems and data analysis : prospects, foundations, applications : proceedings of the 17th Annual Conference of the Gesellschaft für Klassifikation e.V. University of Kaiserslautern, March 3-5, 1993 : gw : acid-free : us : acid-free

Information systems and data analysis : prospects, foundations, applications : proceedings of the 17th Annual Conference of the Gesellschaft für Klassifikation e.V. University of Kaiserslautern, March 3-5, 1993 : gw : acid-free : us : acid-free
Paper図書
Hans-Hermann Bock, Wolfgang Lenski, Michael M. Richter, edsSpringer-Verlagc1994
Other Libraries in Japan
  • Author Heading...nski, Wolfgang Richter, Michael M.

Topics in case-based reasoning : First European Workshop EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers : gw : us

Topics in case-based reasoning : First European Workshop EWCBR-93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers : gw : us
Paper図書
Stefan Wess, Klaus-Dieter Althoff, Michael M. Richter (eds.)Springer Verlagc1994
Other Libraries in Japan
  • Author HeadingWess, Stefan Althoff, Klaus-Dieter Richter, Michael M. EWCBR

Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings : gw : us

Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings : gw : us
Paper図書
H. Boley, M.M. Richter, (eds.)Springer Verlagc1991
Other Libraries in Japan
  • Author HeadingBoley, H. Richter, Michael M. Processing Declarative Knowle...

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings : gw : us

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989, proceedings : gw : us
Paper図書
E. Börger, H. Kleine Büning, M.M. Richter (eds.)Springer-Verlagc1990
Other Libraries in Japan
  • Author HeadingWorkshop on Computer Science Logic Börger, Egon Kleine Büning, Hans Richter, Michael M.

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings : gw : us

CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings : gw : us
Paper図書
E. Börger, H. Kleine Büning, M.M. Richter (eds.)Springer-Verlagc1989
Other Libraries in Japan
  • Author HeadingWorkshop on Computer Science Logic Börger, Egon Richter, Michael M. Kleine Büning, Hans

Systems of reductions : gw : us

Systems of reductions : gw : us
Paper図書
B. Benninghofen, S. Kemmerich, M.M. RichterSpringer-Verlagc1987
Other Libraries in Japan
  • Author HeadingBenninghofen, Benjamin Kemmerich, Susanne Richter, Michael M.

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings : gw : us

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings : gw : us
Paper図書
E. Börger, H. Kleine Büning, M.M. Richter (eds.)Springer-Verlagc1988
Other Libraries in Japan
  • Author HeadingWorkshop on Computer Science Logic Börger, Egon Richter, Michael M. Kleine Büning, Hans

Ｃｏｍｐｕｔａｔｉｏｎ　ａｎｄ　ｐｒｏｏｆ　ｔｈｅｏｒｙ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｌｏｇｉｃ　Ｃｏｌｌｏｑｕｉｕｍ　ｈｅｌｄ　ｉｎ　Ａａｃｈｅｎ，　Ｊｕｌｙ　１８－２３，　１９８３ ２ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)

Ｃｏｍｐｕｔａｔｉｏｎ　ａｎｄ　ｐｒｏｏｆ　ｔｈｅｏｒｙ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｌｏｇｉｃ　Ｃｏｌｌｏｑｕｉｕｍ　ｈｅｌｄ　ｉｎ　Ａａｃｈｅｎ，　Ｊｕｌｙ　１８－２３，　１９８３ ２ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)
Paper図書
ｅｄｉｔｅｄｂｙＭ．Ｍ．Ｒｉｃｈｔｅｒ．．．［ｅｔａｌ．］． ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８４．
Other Libraries in Japan

Ｍｏｄｅｌｓ　ａｎｄ　ｓｅｔｓ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｌｏｇｉｃ　Ｃｏｌｌｏｑｕｉｕｍ　ｈｅｌｄ　ｉｎ　Ａａｃｈｅｎ，　Ｊｕｌｙ　１８－２３，　１９８３ ｐａｒｔ　１ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)

Ｍｏｄｅｌｓ　ａｎｄ　ｓｅｔｓ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｌｏｇｉｃ　Ｃｏｌｌｏｑｕｉｕｍ　ｈｅｌｄ　ｉｎ　Ａａｃｈｅｎ，　Ｊｕｌｙ　１８－２３，　１９８３ ｐａｒｔ　１ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ　（Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ）)
Paper図書
ｅｄｉｔｅｄｂｙＧ．Ｈ．Ｍｕ¨ｌｌｅｒａｎｄＭ．Ｍ．Ｒｉｃｈｔｅｒ． ; ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８４．
Other Libraries in Japan

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.). (Lecture notes in computer science ; 837. Lecture notes in artificial intelligence.)

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.). (Lecture notes in computer science ; 837. Lecture notes in artificial intelligence.)
Paper図書
Springer-Verlagc1994.<M15-A9450>
National Diet Library
  • Author Heading... Klaus-Dieter. Richter, Michael M., 1938-

Processing declarative knowledge : International Workshop PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings / H. Boley, M.M. Richter (eds.). (Lecture notes in computer science. 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.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A8052>
National Diet Library
  • Author HeadingPDK '91 (1991 : Kaiserslautern, Germany) Boley, H. (Harold) Richter, Michael M., 1938-

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II : gw : us

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II : gw : us
Paper図書
edited by M.M. Richter ... [et al.]Springer-Verlag1984
Other Libraries in Japan
  • Author HeadingLogic Colloquium Müller, G. H. (Gert Heinz) Richter, Michael M.

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I : us : gw

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I : us : gw
Paper図書
edited by G.H. Müller and M.M. RichterSpringer-Verlag1984
Other Libraries in Japan
  • Author HeadingLogic Colloquium Müller, G. H. (Gert Heinz) Richter, Michael M.

Ideale Punkte, Monaden und Nichtstandard-Methoden

Ideale Punkte, Monaden und Nichtstandard-Methoden
Paper図書
Michael M. RichterVieweg1982
Other Libraries in Japan
  • Author HeadingRichter, Michael M.

Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter. (Lecture notes in computer science)

Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1987.<M154-A58>
National Diet Library
  • Author HeadingBenninghofen, B. (Benjamin) , 1958- Kemmerich, S. (Susanne) , 1953- Richter, Michael M., 1938-
RSS