Home Advanced Search

Advanced Search - Page 1

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Xavier Leroy (auth.), Franz Baader (eds.)
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Xavier Leroy (auth.), Franz Baader (eds.)
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Xavier Leroy (auth.), Pierpaolo Degano (eds.)
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Michael Kearns (auth.), Franz Baader, Gerhard Brewka, Thomas Eiter (eds.)
The Description Logic Handbook Theory, Implementation and Applications
  • PDF
  • English
  • Year: 2010
  • Author: Franz Baader
Fermenta cognitionis, Heft 1.
  • PDF
  • German
  • Year: 1822
  • Author: Franz Baader
Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Franz Baader
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)
Adolf Hitler
  • EPUB
  • Spanish
  • Year: 2016
  • Author: Xavier Leroy
Adolf Hitler
  • EPUB
  • Spanish
  • Year: 2016
  • Author: Xavier Leroy
search