Home Advanced Search

Advanced Search - Page 1

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.)
Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000 Varna, Bulgaria, September 20–23, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: José Júlio Alferes, Luýs Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski (auth.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
  • DJVU
  • English
  • Year: 1998
  • Author: Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97 Port Jefferson, New York, USA, October 17, 1997 Selected Papers
  • PDF
  • English
  • Year: 1998
  • Author: Gerhard Brewka, Jürgen Dix (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers
  • PDF
  • English
  • Year: 1997
  • Author: Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1997
  • Author: Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.)
Non-Monotonic Extensions of Logic Programming: Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers
  • PDF
  • English
  • Year: 1997
  • Author: Jürgen Dix, Luís Moniz Pereira (auth.), Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (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.)
search