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.)
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.)
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, 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.)
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Andrei Voronkov, Irina Virbitskaite (eds.)
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Manuel Mazzara, Andrei Voronkov (eds.)
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Andreas Podelski
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
search