Home Advanced Search

Advanced Search - Page 1

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005,
  • PDF
  • English
  • Year: 2005
  • Author: Geoff Sutcliffe, Andrei Voronkov
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.)
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2007
  • Author: Andrei Voronkov, Irina Virbitskaite
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Franz Baader, Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006,
  • PDF
  • English
  • Year: 2006
  • Author: Miki Hermann, Andrei Voronkov
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Michel Parigot, Andrei Voronkov
Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning
  • PDF
  • English
  • Year: 2001
  • Author: Alan Robinson and Andrei Voronkov
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.)
search