Home Advanced Search

Advanced Search - Page 1

Handbook of automated reasoning, vol.2
  • DJVU
  • English
  • Year: 2001
  • Author: Robinson A., Voronkov A. (eds.)
Handbook of automated reasoning Vol. 1 [...]
  • DJVU
  • English
  • Year: 2001
  • Author: Robinson A., Voronkov A. (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.)
Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2018
  • Author: Alexander K. Petrenko,Andrei Voronkov (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.)
Changing Identities: Armenia, Azerbaijan, Georgia
  • PDF
  • English
  • Year: 2011
  • Author: Viktor Voronkov, Sophia Khutsishvili, John Horan (eds.)
The Waltham Book of Human–Animal Interaction. Benefits and Responsibilities of Pet Ownership
  • PDF
  • English
  • Year: 1995
  • Author: I. Robinson (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.)
Growth of Crystals: Volume 10
  • PDF
  • English
  • Year: 1976
  • Author: V. V. Voronkov (auth.), N. N. Sheftal’ (eds.)
search