Andrei Voronkov

Author detail

AV

19 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL2682416A

Featured books

Representative editions for works actually authored by this person.

PO
Image source: Open Library
Perspectives of System Informatics
Perspectives of System Informatics | 2019
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2015
Representative edition for this work grouping in the active catalog.
cover
PL
Image source: Open Library
Programming Logics
Programming Logics | 2013
Representative edition for this work grouping in the active catalog.
cover
PO
Image source: Open Library
Perspectives of Systems Informatics
Perspectives of Systems Informatics | 2012
Representative edition for this work grouping in the active catalog.
cover
PO
Image source: Open Library
Perspectives of Systems Informatics
Perspectives of Systems Informatics | 2010
Representative edition for this work grouping in the active catalog.
cover
RT
Image source: Open Library
Rewriting Techniques and Applications
Rewriting Techniques and Applications | 2009
Representative edition for this work grouping in the active catalog.
cover
PO
Image source: Open Library
Perspectives of systems informatics
Perspectives of Systems Informatics | 2007
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logic for programming, artificial intelligence, and reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2006
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logic for programming artificial intelligence and reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2003
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logic for programming, artificial intelligence, and reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2002
Representative edition for this work grouping in the active catalog.
cover
AD
Image source: Open Library
Automated Deduction - CADE-18
Automated Deduction - CADE-18 | 2002
Representative edition for this work grouping in the active catalog.
cover
HO
Image source: Open Library
Handbook of Automated Reasoning
Handbook of Automated Reasoning | 2001
Representative edition for this work grouping in the active catalog.
cover
HO
Image source: Open Library
Handbook of Automated Reasoning
Handbook of Automated Reasoning | 2001
Representative edition for this work grouping in the active catalog.
cover
HO
Image source: Open Library
Automated Reasoning
Handbook of Automated Reasoning | 2001
Representative edition for this work grouping in the active catalog.
cover
HO
Image source: Open Library
Handbook Of Automated Reasoning
Handbook of Automated Reasoning (2 Volume Set) | 2001
Representative edition for this work grouping in the active catalog.
cover
HO
Image source: Open Library
Handbook of Automated Reasoning
Handbook of Automated Reasoning | 2001
Representative edition for this work grouping in the active catalog.
cover
LP
Image source: Open Library
Logic for programming and automated reasoning
Logic Programming and Automated Reasoning | 1999
Representative edition for this work grouping in the active catalog.
cover
LP
Image source: Open Library
Logic Programming and Automated Reasoning
Logic Programming and Automated Reasoning | 1993
Representative edition for this work grouping in the active catalog.
cover
Computer Science - Theory and A...Andrei Voronkov
CS
Computer Science - Theory and Applications
Computer Science - Theory and Applications | 2007
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Perspectives of System Informatics
Representative edition published 2019
Open Work
Logic for Programming, Artificial Intelligence, and Reasoning
Representative edition published 2015
Open Work
Programming Logics
Representative edition published 2013
Open Work
Perspectives of Systems Informatics
Representative edition published 2012
Open Work
Perspectives of Systems Informatics
Representative edition published 2010
Open Work
Rewriting Techniques and Applications
Representative edition published 2009
Open Work
Perspectives of systems informatics
Representative edition published 2007
Open Work
Logic for programming, artificial intelligence, and reasoning
Representative edition published 2006
Open Work
Logic for programming artificial intelligence and reasoning
Representative edition published 2003
Open Work
Logic for programming, artificial intelligence, and reasoning
Representative edition published 2002
Open Work
Automated Deduction - CADE-18
Representative edition published 2002
Open Work
Handbook of Automated Reasoning
Representative edition published 2001
Open Work
Handbook of Automated Reasoning
Representative edition published 2001
Open Work
Automated Reasoning
Representative edition published 2001
Open Work
Handbook Of Automated Reasoning
Representative edition published 2001
Open Work
Handbook of Automated Reasoning
Representative edition published 2001
Open Work
Logic for programming and automated reasoning
Representative edition published 1999
Open Work
Logic Programming and Automated Reasoning
Representative edition published 1993
Open Work
Computer Science - Theory and Applications
Representative edition published 2007
Open Work

Andrei Voronkov

Overview

Catalog identity

Featured books

Works in catalog