Magers & Quinn Booksellers

Cancel

Filters

Selected

Voronkov, Andrei

Condition

New

Used

Availability

On Our Shelves

Ships from Warehouse

Format

Hardcover

Paperback

Audio Book

Languages

English

Spanish

Italian

French

German

Portuguese

Romanian

Russian

Polish

Romansh

Price

Back

Voronkov, Andrei

Filters

Sort by

Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Voronkov, Andrei

Paperback

$76.99

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programmi

Voronkov, Andrei

Paperback

$54.99

Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Voronkov, Andrei

Paperback

$76.99

Rewriting Techniques and Applications: 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings

Voronkov, Andrei

Paperback

$54.99

Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Voronkov, Andrei

Paperback

$54.99

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin

Voronkov, Andrei

Bjørner, Nikolaj

Paperback

$54.99

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Nieuwenhuis, Robert

Voronkov, Andrei

Paperback

$153.99

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap

Virbitskaite, Irina

Voronkov, Andrei

Paperback

$54.99

Programming Logics: Essays in Memory of Harald Ganzinger

Weidenbach, Christoph

Voronkov, Andrei

Paperback

$54.99

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Pr

Vardi, Moshe

Voronkov, Andrei

Paperback

$54.99

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Psi 2015, in Memory of Helmut Veith, Kazan and Innopolis,

Mazzara, Manuel

Voronkov, Andrei

Paperback

$54.99

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pro

Sutcliffe, Geoff

Voronkov, Andrei

Paperback

$109.99

Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Parigot, Michel

Voronkov, Andrei

Paperback

$54.99

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Procee

Voronkov, Andrei

Dershowitz, Nachum

Paperback

$54.99

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, Lpar 2006, Phnom Penh, Cambodia, November 13-17, 2006, P

Hermann, Miki

Voronkov, Andrei

Paperback

$153.99

Handbook of Automated Reasoning: Volume II

Robinson, Alan J. a.

Voronkov, Andrei

Hardcover

$412.50

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro

Fermüller, Christian G.

Voronkov, Andrei

Paperback

$153.99

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se

Petrenko, Alexander K.

Voronkov, Andrei

Paperback

$54.99

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding

Veith, Helmut

Voronkov, Andrei

Cervesato, Iliano

Paperback

$109.99

Perspectives of Systems Informatics

Pnueli, Amir

Virbitskaite, Irina

Voronkov, Andrei

Paperback

$54.99

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Voronkov, Andrei

Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programmi

Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap

Programming Logics: Essays in Memory of Harald Ganzinger

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Pr

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Psi 2015, in Memory of Helmut Veith, Kazan and Innopolis,

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pro

Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Procee

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, Lpar 2006, Phnom Penh, Cambodia, November 13-17, 2006, P

Handbook of Automated Reasoning: Volume II

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding

Perspectives of Systems Informatics

Loading

You have reached the end of the list.
Return to the top.

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Voronkov, Andrei

Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programmi

Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap

Programming Logics: Essays in Memory of Harald Ganzinger

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Pr

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Psi 2015, in Memory of Helmut Veith, Kazan and Innopolis,

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pro

Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Procee

Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, Lpar 2006, Phnom Penh, Cambodia, November 13-17, 2006, P

Handbook of Automated Reasoning: Volume II

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding

Perspectives of Systems Informatics

Loading

You have reached the end of the list. Return to the top.

You have reached the end of the list.
Return to the top.