Home Advanced Search

Advanced Search - Page 1

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.)
Machine Learning: ECML 2001: 12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Hassan Aït-Kaci, Yutaka Sasaki (auth.), Luc De Raedt, Peter Flach (eds.)
Constraint Programming: Basics and Trends: 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Frédéric Benhamou (auth.), Andreas Podelski (eds.)
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 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.)
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
Constraint Processing: Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
Constraint Processing: Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)
search