СБ |
Logic Programming and Automated Reasoning:Proc./Intern. Conf. LPAR 92. St.Petersburg, Russia, July 1992 |
1992 |
|
Lecture Notes in Artificial Intelligence |
- Voronkov A.
|
|
|
06.08.1992 |
СБ |
Logic Programming and Automated Reasoning: Proc./4th Intern.Conf, LPAR`93. St.Peterburg, Russia, July 1993 |
1993 |
|
Lecture Notes in Artificial Intelligence |
- Voronkov A.
|
|
|
06.08.1993 |
СБ |
Transactions and Change in Logic Databases: Invited Surveys and Selected Papers |
1998 |
|
Lecture Notes in Computer Science |
- Freitag B.
- Decker H.
- Kifer M.
- Voronkov A.
|
|
|
03.12.1998 |
СБ |
Logic for Programming and Automated Reasoning: Proc./6th Intern. Conf., LPAR 99. Tbilisi, Georgia, September 1999 |
1999 |
|
Lecture Notes in Artificial Intelligence |
- Ganzinger H.
- Mcallester D.
- Voronkov A.
|
|
|
30.09.1999 |
СБ |
Logic for Programming and Automated Reasoning: Proc./7th Intern. Conf., LPAR 2000, Reunion Island, France, November 2000 |
2000 |
|
Lecture Notes in Artificial Intelligence |
- Parigot M.
- Voronkov A.
|
|
|
10.12.2000 |
М |
Handbook of Automated Reasoning. Volume II |
2001 |
|
|
- Robinson A.
- Voronkov A.
|
|
|
04.08.2001 |
М |
Handbook of Automated Reasoning. Volume I |
2001 |
|
|
- Robinson A.
- Voronkov A.
|
|
|
04.08.2001 |
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./8th Intern. Conf., LPAR 2001, Havana, Cuba, December 2001 |
2001 |
|
Lecture Notes in Artificial Intelligence |
- Nieuwenhuis R.
- Voronkov A.
|
|
|
11.01.2002 |
СБ |
Automated Deduction - CADE-18: Proc./18th Intern. Conf. on Automated Deduction, Copenhagen, Denmark, July 2002 |
2002 |
|
Lecture Notes in Artificial Intelligence |
- Voronkov A.
|
|
|
24.08.2002 |
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./9th Intern. Conf., LPAR 2002, Tbilisi, Geoigia, October 2002 |
2002 |
|
Lecture Notes in Artificial Intelligence |
- Baaz M.
- Voronkov A.
|
|
|
11.11.2002 |
СБ |
Logic for Programming Artificial Intelligence, and Reasoning: Proc./10th Intern. Conf., LPAR 2003, Almaty, Kazakhstan, September 2003 |
2003 |
|
Lecture Notes in Artificial Intelligence |
- Vardi M. Y.
- Voronkov A.
|
|
|
20.11.2003 |
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./11th International Conference, LPAR 2004. Montevideo, Uruguay, March 2005 |
2005 |
|
Lecture Notes in Artificial Intelligence |
- Baader F.
- Voronkov A.
|
|
|
22.04.2005 |
СБ |
Logic for Programming, Artificial Intelligenec, and Reasoning: Proc./12th International Conference, LPAR 2005. Montego Bay, Jamaica, December 2005 |
2006 |
|
Lecture Notes in Artificial Intelligence |
- Sutcliffe G.
- Voronkov A.
|
|
|
01.03.2006 |
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./13th Intl Conf, LPAR 2006. Phnom Penh, Cambodia, November 2006 |
2006 |
|
Lecture Notes in Artificial Intelligence |
- Hermann M.
- Voronkov A.
|
|
|
20.01.2007 |
СБ |
Perspectives of System Informatics: Revised Papers/6th International Andrei Ershov Memorial Conference, PSI 2006. Novosibirsk, Russia, June 2006 |
2007 |
|
Lecture Notes in Computer Science |
- Virbitskaite I.
- Voronkov A.
|
|
|
28.04.2007 |
СБ |
Computer Science - Thery and Applications: Proc./2nd International Symposium on Computer Science in Russia, CSR 2007. Ekaterinburg, Russia, September 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Diekert V.
- Volkov M. V.
- Voronkov A.
|
|
|
20.11.2007 |
СБ |
Logic for Programming, Artificial Intelligence and Reasoning: Proc./14th International Conference, LPAR 2007. Yerevan, Armenia, October 2007 |
2007 |
|
Lecture Notes in Artificial Intelligence |
- Dershowitz N.
- Voronkov A.
|
|
|
27.02.2008 |
СБ |
Rewriting Techniques and Applications: Proc./19th International Conference, RTA 2008. Hagenberg, Austria, July 2008 |
2008 |
|
Lecture Notes in Computer Science |
- Voronkov A.
|
|
|
18.09.2008 |
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./15th International Conference, LPAR 2008. Doha, Quatar, November 2008 |
2008 |
|
Lecture Notes in Artificial Intelligence |
- Cervesato I.
- Veith H.
- Voronkov A.
|
|
|
27.01.2009 |
СБ |
Perspectives of Systems Informatics: Revised Papers/7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 2009 |
2010 |
|
Lecture Notes in Computer Science |
- Pnuel A.
- Virbitskaite I.
- Voronkov A.
|
|
|
13.04.2010 |
СБ |
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010 |
2010 |
|
Lecture Notes in Computer Science |
- Fermuller Ch. G.
- Voronkov A.
|
|
|
23.11.2010 |
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010 |
2010 |
|
Lecture Notes in Artificial Intelligence |
- Clarke E. M.
- Voronkov A.
|
|
|
10.03.2011 |
СБ |
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./18th International Conference, LPAR-18, Merida, Venezuela, March 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Bjorner N.
- Voronkov A.
|
|
|
03.04.2012 |
СБ |
Alan Turing Centenary: Proc./The Turing Conference, Turing 100, Manchester, UK, June 2012 |
2012 |
|
|
- Voronkov A.
|
|
|
01.10.2012 |
СБ |
Perspectives of System Informatics: Revised Selected Papers/8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russa, June 2011 |
2012 |
|
Lecture Notes in Computer Science |
- Clarke E.
- Virbitskaite I.
- Voronkov A.
|
|
|
18.02.2013 |
СБ |
Programming Logics: Essays in Memory of Harald Ganzinger |
2013 |
|
Lecture Notes in Computer Science |
- Voronkov A.
- Weidenbach Ch.
|
|
|
11.06.2013 |
СБ |
Logoc for Programming, Artificial Intelligence, and Reasoning: Proc./19th International Conference, LPAR-19, Stellenbosch, South Africa, December 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Mcmillan K.
- Middeldorp A.
- Voronkov A.
|
|
|
13.01.2014 |
СБ |
Perspectives of System Informatics: Revised Selected Papers/9th International Ershov Informatics Conference, PSI 2014, St.Petersburg, Russia, June 2014 |
2015 |
|
Lecture Notes in Computer Science |
- Voronkov A.
- Virbitskaite I.
|
|
|
21.07.2015 |
СБ |
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./20th International Conference, LPAR-20 2015, Suva, Fiji, November 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Davis M.
- Fehnker A.
- McIver A.
- Voronkov A.
|
|
|
12.01.2016 |
СБ |
Perspectives of System Informatics: Revised Selected Papers/10th International Andrei Ershov Informatics Conference, PSI 2015 in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 2015 |
2016 |
|
Lecture Notes in Computer Science |
- Mazzara M.
- Voronkov A.
|
|
|
09.08.2016 |
СБ |
Perspectives of System Informatics: Revised Selected Papers/12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk Russia, July 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Bjorner N.
- Virbitskaite I.
- Voronkov A.
|
|
|
28.01.2020 |