Jump to main content

yr 〜
yr

Search results 9

Principles and practice of semantic web reasoning : second international workshop, PPSWR 2004 : St. Malo, France, September 6-10, 2004 : proceedings. : Sep 2004, Saint-Malo, France. (Lecture Notes in Computer Science ; 3208)

Principles and practice of semantic web reasoning : second international workshop, PPSWR 2004 : St. Malo, France, September 6-10, 2004 : proceedings. : Sep 2004, Saint-Malo, France. (Lecture Notes in Computer Science ; 3208)
Paper図書
Springerc2004.<M17-04-3762>
National Diet Library
  • Author HeadingOhlbach, Hans Jürgen. Schaffert, Sebastian. PPSWR ...

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). (Lecture notes in computer science ; 827. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M15-A9320>
National Diet Library
  • Author HeadingGabbay, Dov M., 1945- Ohlbach, Hans Jürgen.

GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings / Hans Jürgen Ohlbach (ed.). (Lecture notes in computer science ; 671. Lecture notes in artificial intelligence)

GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings / Hans Jürgen Ohlbach (ed.). (Lecture notes in computer science ; 671. Lecture notes in artificial intelligence)
Paper図書
Springerc1993.<M15-A8813>
National Diet Library
  • Author HeadingGerman Conference on Artificial Intelligence (16th : 1992 : Bonn, Germany) Ohlbach, Hans Jürgen.

Principles and practice of Semantic Web reasoning : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 : proceedings

Principles and practice of Semantic Web reasoning : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 : proceedings
Paper図書
Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingPPSWR Ohlbach, Hans Jürgen Schaffert, Sebastian

Logic, language, and reasoning : essays in honour of Dov Gabbay

Logic, language, and reasoning : essays in honour of Dov Gabbay
Paper図書
edited by Hans Jürgen Ohlbach and Uwe ReyleKluwer Academic Publishersc1999
Other Libraries in Japan
  • Author HeadingGabbay, Dov M. Ohlbach, Hans Jürgen Reyle, Uwe

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
Paper図書
Dov M. Gabbay, Hans Jürgen Ohlbach, (eds.)Springerc1996
Other Libraries in Japan
  • Author Heading...Gabbay, Dov M. Ohlbach, Hans Jürgen

Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings : gw : us

Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings : gw : us
Paper図書
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingInternational Conference on Temporal Logic Gabbay, Dov M. Ohlbach, Hans Jürgen

GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings : gw : us

GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings : gw : us
Paper図書
Hans Jürgen Ohlbach (ed.)Springerc1993
Other Libraries in Japan
  • Author HeadingGerman Workshop on Artificial Intelligence Ohlbach, Hans Jürgen

Translation methods for non-classical logics : an overview

Translation methods for non-classical logics : an overview
Paper図書
Hans Jürgen OhlbachCenter for the Study of Language and Information (CSLI)c1993
Other Libraries in Japan
  • Author HeadingOhlbach, Hans Jürgen Stanford University. Center f...

Reached to the end of result.

RSS