Andrei Voronkov

75 results found

Sort By:

Handbook of Automated Reasoning

By: Andrei Voronkov, Alan J.A. Robinson

Publisher: Elsevier Science & Technology

No Review Yet

AED836

Binding:	Hardback
Release:	21 Jun 2001
Language:	English

Available

Ships within 8-10 Days Explain..

Handbook of Automated Reasoning

By: Andrei Voronkov, Alan J.A. Robinson

Publisher: Elsevier Science & Technology

No Review Yet

AED351

Binding:	Hardback
Release:	21 Jun 2001
Language:	English

Available

Ships within 4-6 Days Explain..

Automated Deduction - CADE-18

By: Andrei Voronkov

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED277

Binding:	Paperback
Release:	17 Jul 2002
Language:	English

International Edition

Ships within 10-12 Days Explain..

Perspectives of Systems Informatics

By: Andrei Voronkov, Edmund Clarke

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED275

Binding:	Paperback
Release:	30 May 2012
Language:	English

International Edition

Ships within 18-20 Days Explain..

Transactions and Change in Logic Databases

By: Andrei Voronkov, Hendrik Decker, Michael Kifer, Burkhard Freitag

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED275

Binding:	Paperback
Release:	28 Oct 1998
Language:	English

International Edition

Ships within 10-12 Days Explain..

Perspectives of Systems Informatics

By: Andrei Voronkov, Amir Pnueli

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED195

Binding:	Paperback
Release:	08 Feb 2010
Language:	English

Available

Ships within 14-16 Days Explain..

Logic for Programming and Automated Reasoning

By: Andrei Voronkov, Michel Parigot

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED195

Binding:	Paperback
Release:	23 Oct 2000
Language:	English

Available

Ships within 14-16 Days Explain..

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Aart Middeldorp, Ken McMillan

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED202

Binding:	Paperback
Release:	02 Dec 2013
Language:	English

Available

Ships within 14-16 Days Explain..

Perspectives of System Informatics

By: Andrei Voronkov, Irina Virbitskaite, Nikolaj Bjørner

Publisher: Springer Nature Switzerland AG

No Review Yet

AED186

Binding:	Paperback
Release:	14 Dec 2019
Language:	English

Available

Ships within 14-16 Days Explain..

10.

Perspectives of System Informatics

By: Andrei Voronkov, Manuel Mazzara

Publisher: Springer International Publishing AG

No Review Yet

AED195

Binding:	Paperback
Release:	28 Jun 2016
Language:	English

Available

Ships within 14-16 Days Explain..

11.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Edmund M. Clarke

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED195

Binding:	Paperback
Release:	04 Jan 2011
Language:	English

Available

Ships within 14-16 Days Explain..

12.

Perspectives of System Informatics

By: Andrei Voronkov, Alexander K. Petrenko

Publisher: Springer International Publishing AG

No Review Yet

AED195

Binding:	Paperback
Release:	18 Jan 2018
Language:	English

Available

Ships within 14-16 Days Explain..

13.

Perspectives of System Informatics

By: Andrei Voronkov

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED195

Binding:	Paperback
Release:	30 Apr 2015
Language:	English

Available

Ships within 14-16 Days Explain..

14.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Miki Hermann

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED344

Binding:	Paperback
Release:	23 Oct 2006
Language:	English

Available

Ships within 14-16 Days Explain..

15.

Logic Programming and Automated Reasoning

By: Andrei Voronkov, Harald Ganzinger, David McAllester

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED275

Binding:	Paperback
Release:	25 Aug 1999
Language:	English

International Edition

Ships within 10-12 Days Explain..

16.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Robert Nieuwenhuis

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED523

Binding:	Paperback
Release:	21 Nov 2001
Language:	English

International Edition

Ships within 18-20 Days Explain..

17.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Ansgar Fehnker, Martin Davis, Annabelle McIver

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED202

Binding:	Paperback
Release:	03 Dec 2015
Language:	English

Available

Ships within 14-16 Days Explain..

18.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Moshe Vardi

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED195

Binding:	Paperback
Release:	12 Sep 2003
Language:	English

Available

Ships within 14-16 Days Explain..

19.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Geoff Sutcliffe

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED351

Binding:	Paperback
Release:	24 Nov 2005
Language:	English

Available

Ships within 14-16 Days Explain..

20.

Logic for Programming, Artificial Intelligence, and Reasoning

By: Andrei Voronkov, Nachum Dershowitz

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED195

Binding:	Paperback
Release:	08 Oct 2007
Language:	English

Available

Ships within 14-16 Days Explain..

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter