yr 〜
yr

Search results 1,062

RoboCup 2017 : Robot World Cup XXI (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 11175)

RoboCup 2017 : Robot World Cup XXI (Lecture notes in computer science ; Lecture notes in artificial intelligence ; 11175)
Paper図書
Hidehisa Akiyama [and three others] (eds.).Springer[2018]<M131-B146>
National Diet LibraryOther Libraries in Japan

WEBKDD 2001 -- mining web log data across all customers touch points : third international workshop, San Francisco, CA, USA, August 26, 2001 : revised papers. : Aug 2001, San Francisco, CA. (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence ; 2356. Hot topics)

WEBKDD 2001 -- mining web log data across all customers touch points : third international workshop, San Francisco, CA, USA, August 26, 2001 : revised papers. : Aug 2001, San Francisco, CA. (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence ; 2356. Hot topics)
Paper図書
Springerc2002.<M17-03-63>
National Diet Library
  • Title Heading...cience ; 2356. Lecture notes in computer science. Lecture notes in artificial intelligence. Hot topics (Berlin, Germany)

Developments in applied artificial intelligence : 15th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2002, Cairns, Australia, June 2002 : proceedings. : Jun 2002, Cairns, Australia. (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence ; 2358)

Developments in applied artificial intelligence : 15th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE 2002, Cairns, Australia, June 2002 : proceedings. : Jun 2002, Cairns, Australia. (Lecture Notes in Computer Science ; Lecture Notes in Artificial Intelligence ; 2358)
Paper図書
Springer2002.<M17-03-64>
National Diet Library
  • Title Heading...cience ; 2358. Lecture notes in computer science. Lecture notes in artificial intelligence.

Artificial perception and music recognition / Andranick S. Tanguiane. (Lecture notes in computer science ; Lecture notes in artificial intelligence)

Artificial perception and music recognition / Andranick S. Tanguiane. (Lecture notes in computer science ; Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M121-A118>
National Diet Library
  • Title Heading...mputer science Lecture notes in computer science. Lecture notes in artificial intelligence.

The logic of information structures / Heinrich T. Wansing. (Lecture notes in computer science. Lecture notes in artificial intelligence)

The logic of information structures / Heinrich T. Wansing. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M121-A109>
National Diet Library

Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner. (Lecture notes in computer science. Lecture notes in artificial intelligence)

Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M121-A124>
National Diet Library

Resolution methods for the decision problem / C. Fermüller ... [et al.]. (Lecture notes in computer science. Lecture notes in artificial intelligence)

Resolution methods for the decision problem / C. Fermüller ... [et al.]. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springerc1993.<M121-A110>
National Diet Library

Temporally distributed symptoms in technical diagnosis / K. Nökel. (Lecture notes in computer science. Lecture notes in artificial intelligence)

Temporally distributed symptoms in technical diagnosis / K. Nökel. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlag1991.<M121-A77>
National Diet Library

An approach to knowledge base management / Nelson Mendonça Mattos. (Lecture notes in computer science. Lecture notes in artificial intelligence)

An approach to knowledge base management / Nelson Mendonça Mattos. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M154-A146>
National Diet Library

Algorithmic learning theory : third workshop, ALT '92, Tokyo, Japan, October 20-22, 1992 : proceedings / S. Doshita ... [et al.], eds. (Lecture notes in computer science ; Lecture notes in artificial intelligence)

Algorithmic learning theory : third workshop, ALT '92, Tokyo, Japan, October 20-22, 1992 : proceedings / S. Doshita ... [et al.], eds. (Lecture notes in computer science ; Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M15-A9107>
National Diet Library
  • Title Heading...science ; 743. Lecture notes in computer science. Lecture notes in artificial intelligence.

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert. (Lecture notes in computer science. Lecture notes in artificial intelligence)

A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M121-A79>
National Diet Library

Algorithmic learning theory : 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993 : proceedings / K.P. Jantke ... [et al.] (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)

Algorithmic learning theory : 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993 : proceedings / K.P. Jantke ... [et al.] (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M15-A9108>
National Diet Library

Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93, Torino, Italy, October 26-28, 1993 : proceedings / Pietro Torasso (ed.). (Lecture notes in computer science ; Lecture notes in artificial intelligence)

Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93, Torino, Italy, October 26-28, 1993 : proceedings / Pietro Torasso (ed.). (Lecture notes in computer science ; Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1993.<M15-A9109>
National Diet Library
  • Title Heading...mputer science Lecture notes in computer science. Lecture notes in artificial intelligence.

Modelling spatial knowledge on a linguistic basis : theory, prototype, integration / Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons. (Lecture notes in computer science. Lecture notes in artificial intelligence)

Modelling spatial knowledge on a linguistic basis : theory, prototype, integration / Ewald Lang, Kai-Uwe Carstensen, Geoffrey Simmons. (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M121-A73>
National Diet Library

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A7742>
National Diet Library

Machine learning, EWSL-91 : proceedings / European Working Session on Learning, Porto, Portugal, March 6-8, 1991 ; Y. Kodratoff (ed.). (Lecture notes in computer science. Lecture notes in artificial intelligence)

Machine learning, EWSL-91 : proceedings / European Working Session on Learning, Porto, Portugal, March 6-8, 1991 ; Y. Kodratoff (ed.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A7265>
National Diet Library

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

EPIA '91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings / P. Barahona, L. Moniz Pereira, A. Porto (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)

EPIA '91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings / P. Barahona, L. Moniz Pereira, A. Porto (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A8021>
National Diet Library

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / J. Dix, K.P. Jantke, P.H. Schmitt (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A8011>
National Diet Library

Text understanding in LILOG : integrating computational linguistics and artificial intelligence final report on the IBM Germany LILOG-project / O. Herzog, C.-R. Rollinger (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)

Text understanding in LILOG : integrating computational linguistics and artificial intelligence final report on the IBM Germany LILOG-project / O. Herzog, C.-R. Rollinger (eds.). (Lecture notes in computer science. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M121-A83>
National Diet Library