1 - 10 of 10 results for "Andrei Voronkov"

Grid View Grid
List View List
Grid View Grid
List View List
Title: Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings, Author: Andrei Voronkov
QUICK ADD
Rewriting Techniques and…
by Andrei Voronkov (Editor)
#5117 in Series
Paperback $54.99
Title: Programming Logics: Essays in Memory of Harald Ganzinger, Author: Andrei Voronkov
QUICK ADD
Programming Logics: Essays in…
by Andrei Voronkov (Editor), Christoph Weidenbach (Editor)
#7797 in Series
Paperback $54.99
Title: Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings, Author: Andrei Voronkov
QUICK ADD
Automated Deduction - CADE-18:…
by Andrei Voronkov (Editor)
#2392 in Series
Paperback $54.99
Title: Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers, Author: Andrei Voronkov
QUICK ADD
Perspectives of Systems…
by Andrei Voronkov (Editor)
#4378 in Series
Paperback $54.99
Title: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings, Author: Andrei Voronkov
QUICK ADD
Logic Programming: First…
by Andrei Voronkov (Editor)
#592 in Series
Paperback $54.99
Title: Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, Author: Andrei Voronkov
QUICK ADD
Perspectives of System…
by Andrei Voronkov (Editor), Irina Virbitskaite (Editor)
#8974 in Series
eBook $54.99
Title: Handbook of Automated Reasoning, Author: Andrei Voronkov
QUICK ADD
Handbook of Automated…
by Andrei Voronkov (Editor), Alan J.A. Robinson (Editor)
Explore Series
Hardcover $275.00
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov (Editor)
#624 in Series
Paperback $54.99
Title: Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov (Editor)
#698 in Series
Paperback $54.99
Title: Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers, Author: Andrei Voronkov
QUICK ADD
Perspectives of System…
by Andrei Voronkov (Editor)
#8974 in Series
Paperback $54.99