Jump to main content

yr 〜
yr

Search results 105

The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]. 2nd ed., pbk. ed.

The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]. 2nd ed., pbk. ed.
Paper図書
Cambridge University Press2010.<M121-B125>
National Diet Library
  • Author HeadingBaader, Franz.

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)
Paper図書
Springerc2007.<M17-07-2341>
National Diet Library
  • Author HeadingBaader, Franz. International Conference on ...

An introduction to description logic hbk pbk

An introduction to description logic hbk pbk
Paper図書
Franz Baader, Ian Horrocks, Carsten Lutz, Uli SattlerCambridge University Press2017
Other Libraries in Japan
  • Author HeadingBaader, Franz Horrocks, Ian Lutz, Carsten S...

Automated deduction -- CADE-19 : 19th international conference on automated deduction : Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings. : Jul 2003, Miami Beach, FL. (Lecture Notes in Computer Science ; 2741. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-19 : 19th international conference on automated deduction : Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings. : Jul 2003, Miami Beach, FL. (Lecture Notes in Computer Science ; 2741. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-04-612>
National Diet Library
  • Author Heading...puter Science. Baader, Franz. International Conference on ...

KI 2001: advances in artificial intelligence : joint German/Austrian conference on AI : Vienna, Austria, September 19-21, 2001 : proceedings. : 24th German and the 9th Austrian conference on artificial intelligence : Sep 2001, Vienna, Austria. (Lecture Notes in Computer Science ; 2174. Lecture Notes in Artificial Intelligence)

KI 2001: advances in artificial intelligence : joint German/Austrian conference on AI : Vienna, Austria, September 19-21, 2001 : proceedings. : 24th German and the 9th Austrian conference on artificial intelligence : Sep 2001, Vienna, Austria. (Lecture Notes in Computer Science ; 2174. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-2251>
National Diet Library
  • Author HeadingBaader, Franz. Brewka, Gerhard. Eiter, Thom...

The description logic handbook : theory, implementation, and applications : pbk 2nd ed

The description logic handbook : theory, implementation, and applications : pbk 2nd ed
Paper図書
edited by Franz Baader ... [et al.]Cambridge University Press2010, c2007
Other Libraries in Japan
  • Author HeadingBaader, Franz

The description logic handbook : theory, implementation, and applications : hbk 2nd ed

The description logic handbook : theory, implementation, and applications : hbk 2nd ed
Paper図書
edited by F. Baader ... [et al.]Cambridge University Pressc2007
Other Libraries in Japan
  • Author HeadingBaader, Franz

Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings

Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings
Paper図書
Franz Baader (ed.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Baader, Franz

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Paper図書
Franz Baader, Andrei Voronkov (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingLPAR Baader, Franz Voronkov, A. (Andreĭ)

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Paper図書
Franz Baader (ed.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Baader, Franz

The description logic handbook : theory, implementation, and applications

The description logic handbook : theory, implementation, and applications
Paper図書
edited by F. Baader ... [et al.]Cambridge University Pressc2003
Other Libraries in Japan
  • Author HeadingBaader, Franz

KI 2001: advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings

KI 2001: advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings
Paper図書
Franz Baader, Gerhard Brewka, Thomas Eiter (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingKI Baader, Franz Brewka, Gerhard Eiter, Thomas

Term rewriting and all that 1st paperback ed.

Term rewriting and all that 1st paperback ed.
Paper図書
Franz Baader and Tobias NipkowCambridge University Press1999
Other Libraries in Japan
  • Author HeadingBaader, Franz Nipkow, Tobias

Term rewriting and all that

Term rewriting and all that
Paper図書
Franz Baader and Tobias NipkowCambridge University Press1998
Other Libraries in Japan
  • Author HeadingBaader, Franz Nipkow, Tobias

Frontiers of combining systems : first international workshop, Munich, March 1996

Frontiers of combining systems : first international workshop, Munich, March 1996
Paper図書
edited by Franz Baader and Klaus U. SchulzKluwer Academic Publishersc1996
Other Libraries in Japan
  • Author HeadingBaader, Franz Schulz, K. U. (Klaus Ulrich)

Ausgewählte Schriften zum androgynen Menschenbild

Ausgewählte Schriften zum androgynen Menschenbild
Paper図書
Franz von Baader ; herausgegeben von Roland PietschTelesma-Verlag1991
Other Libraries in Japan
  • Author HeadingBaader, Franz von Pietsch, Roland

Sätze aus der erotischen Philosophie und andere Schriften : pbk

Sätze aus der erotischen Philosophie und andere Schriften : pbk
Paper図書
Franz von Baader ; herausgegeben Gerd-Klaus KaltenbrunnerInsel Verlag1991
Other Libraries in Japan
  • Author HeadingBaader, Franz von Kaltenbrunner, Gerd-Klaus

Sach- und Namenregister zu Baaders sämtlichen Werken : nebst einer Einleitung über den Entwicklungsgang und das System der Baaderschen Philosophie 2. Neudruck

Sach- und Namenregister zu Baaders sämtlichen Werken : nebst einer Einleitung über den Entwicklungsgang und das System der Baaderschen Philosophie 2. Neudruck
Paper図書
Anton LutterbeckScientia Verlag1987
Other Libraries in Japan
  • Author HeadingBaader, Franz von Lutterbeck, Anton

Franz Xaver von Baaders Biografie und Briefwechsel 2. Neudruck

Franz Xaver von Baaders Biografie und Briefwechsel 2. Neudruck
Paper図書
herausgegeben von Franz HoffmannScientia Verlag1987
Other Libraries in Japan
  • Author HeadingBaader, Franz von Hoffmann, Franz

Gesammelte Schriften zur Naturphilosophie 2. Neudruck

Gesammelte Schriften zur Naturphilosophie 2. Neudruck
Paper図書
Franz Xaver von Baader ; herausgegeben von Franz HoffmannScientia Verlag1987
Other Libraries in Japan
  • Author HeadingBaader, Franz von Hoffmann, Franz
RSS