Andrei Voronkov
16 published titles
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540664920
- Springer
- 1999
- Details
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540412859
- Springer
- 2000
- Details
Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540429573
- Springer
- 2001
- Details
Handbook of automated reasoning
(Contributor)
1 edition
- ISBN: 026218222X
- Elsevier
- 2001
- Details
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540000100
- Springer
- 2002
- Details
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540439315
- Springer
- 2002
- Details
Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540201017
- Springer
- 2003
- Details
Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 3540252363
- Springer
- 2005
- Details
Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005
(Contributor)
1 edition
- ISBN: 354030553X
- Springer
- 2005
- Details
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 ; proceedings
(Contributor)
1 edition
- ISBN: 9783540482819
- Springer
- 2006
- Details
Perspectives of systems informatics : 6th international Andrei Ershov memorial conference, PSI 2006 Novosibirsk, Russia, June 27-30, 2006 : revised papers
(Contributor)
1 edition
- ISBN: 3540708804
- Springer
- 2007
- Details
Logic for programming, artificial intelligence and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642287169
- Springer
- 2012
- Details
Perspectives of systems informatics : 8th international Ershov informatics conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, revised selected papers
(Contributor)
1 edition
- ISBN: 9783642297083
- Springer
- 2012
- Details
Programming logics : essays in memory of Harald Ganzinger
(Contributor)
1 edition
- ISBN: 9783642376504
- Springer
- 2013
- Details
Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642452208
- Springer
- 2013
- Details
Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : Revised Selected Papers
(Contributor)
1 edition
- ISBN: 9783662468227
- Springer
- 2015
- Details
