Home Advanced Search

Advanced Search - Page 1

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.)
Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)
Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)
An Introduction to Description Logic
  • PDF
  • English
  • Year: 2017
  • Author: Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
An Introduction to Description Logic
  • PDF
  • English
  • Year: 2017
  • Author: Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Communications of the ACM - September 2016
  • PDF
  • English
  • Year: 2016
  • Author: Moshe Y. Vardi (Editor-in-Chief)
Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Halina Przymusinska, Teodor Przymusinski (auth.), Andrei Voronkov (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.)
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
search