You are here: Home › Author › Andrei Voronkov
Andrei Voronkov

Andrei Voronkov

41 books

Handbook of Automated Reasoning

Handbook of Automated Reasoning

by J. Alan Robinson

4.00 of 3

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

by Andrei Voronkov

4.00 of 1

Handbook of Automated Reasoning (Volume II)

Handbook of Automated Reasoning (Volume II)

by John Alan Robinson

3.00 of 1

Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

Logic for Programming and Automated Reasoning: 6th International Conference, Lpar'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings. Lecture Notes in Artificial Intelligence, Volume 1705, Subseries of Lecture Notes in Computer Science.

by Harald Ganzinger

3.00 of 1

Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624)

Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence 624)

by Andrei Voronkov

0.0 of 0

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science, 2514)

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings (Lecture Notes in Computer Science, 2514)

by Andrei Voronkov

0.0 of 0

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5117)

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5117)

by Andrei Voronkov

0.0 of 0

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science, 2392)

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science, 2392)

by Andrei Voronkov

0.0 of 0

Rewriting Techniques and Applications

Rewriting Techniques and Applications

by Andrei Voronkov

0.0 of 0

Logic Programming (Lecture Notes in Artificial Intelligence)

Logic Programming (Lecture Notes in Artificial Intelligence)

by Andrei Voronkov

0.0 of 0

Programming Logics: Essays in Memory of Harald Ganzinger

Programming Logics: Essays in Memory of Harald Ganzinger

by Andrei Voronkov

0.0 of 0

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised ... Computer Science and General Issues)

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised ... Computer Science and General Issues)

by Andrei Voronkov

0.0 of 0

Perspectives of Systems Informatics

Perspectives of Systems Informatics

by Andrei Voronkov

0.0 of 0

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Russia, September 11-16, 1991. Proceedings

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic ... Russia, September 11-16, 1991. Proceedings

by Andrei Voronkov

0.0 of 0

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

by Andrei Voronkov

0.0 of 0

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected ... Notes in Computer Science Book 8974)

Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected ... Notes in Computer Science Book 8974)

by Andrei Voronkov

0.0 of 0

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1705)

by Harald Ganzinger

0.0 of 0

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised ... Computer Science and General Issues)

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised ... Computer Science and General Issues)

by Nikolaj Bjørner

0.0 of 0