Author: Andrei Voronkov
Author's info and books
Information about author Andrei Voronkov from several data sources.
AI-generated bio of "Andrei Voronkov":
Books Results
Source: The Open Library
Andrei Voronkov Books
Books writen by author Andrei Voronkov from The Open Library
1Logic for programming artificial intelligence and reasoning
By Moshe Y. Vardi and Andrei Voronkov

“Logic for programming artificial intelligence and reasoning” Metadata:
- Title: ➤ Logic for programming artificial intelligence and reasoning
- Authors: Moshe Y. VardiAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for programming artificial intelligence and reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Programming Logics
By Andrei Voronkov

“Programming Logics” Metadata:
- Title: Programming Logics
- Author: Andrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Programming Logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Handbook of Automated Reasoning
By Andrei Voronkov

“Handbook of Automated Reasoning” Metadata:
- Title: ➤ Handbook of Automated Reasoning
- Author: Andrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Handbook of Automated Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Automated Deduction - CADE-18
By Andrei Voronkov

“Automated Deduction - CADE-18” Metadata:
- Title: Automated Deduction - CADE-18
- Author: Andrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Deduction - CADE-18 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Logic Programming and Automated Reasoning
By Andrei Voronkov

“Logic Programming and Automated Reasoning” Metadata:
- Title: ➤ Logic Programming and Automated Reasoning
- Author: Andrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic Programming and Automated Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Logic for programming, artificial intelligence, and reasoning
By Andrei Voronkov

“Logic for programming, artificial intelligence, and reasoning” Metadata:
- Title: ➤ Logic for programming, artificial intelligence, and reasoning
- Author: Andrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for programming, artificial intelligence, and reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Rewriting Techniques and Applications
By Andrei Voronkov

“Rewriting Techniques and Applications” Metadata:
- Title: ➤ Rewriting Techniques and Applications
- Author: Andrei Voronkov
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Rewriting Techniques and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Handbook of Automated Reasoning
By Andrei Voronkov

“Handbook of Automated Reasoning” Metadata:
- Title: ➤ Handbook of Automated Reasoning
- Author: Andrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Handbook of Automated Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Automated Reasoning
By Andrei Voronkov

“Automated Reasoning” Metadata:
- Title: Automated Reasoning
- Author: Andrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automated Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
By Andrei Voronkov

“Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings” Metadata:
- Title: ➤ Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
- Author: Andrei Voronkov
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Perspectives of System Informatics
By Nikolaj Bjørner, Irina Virbitskaite and Andrei Voronkov

“Perspectives of System Informatics” Metadata:
- Title: ➤ Perspectives of System Informatics
- Authors: Nikolaj BjørnerIrina VirbitskaiteAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Perspectives of System Informatics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Logic for Programming, Artificial Intelligence, and Reasoning
By Ken McMillan, Aart Middeldorp and Andrei Voronkov

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:
- Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
- Authors: Ken McMillanAart MiddeldorpAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Perspectives of systems informatics
By Andrei Voronkov and Irina Virbitskaite

“Perspectives of systems informatics” Metadata:
- Title: ➤ Perspectives of systems informatics
- Authors: Andrei VoronkovIrina Virbitskaite
- Language: English
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Perspectives of systems informatics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Logic for programming, artificial intelligence, and reasoning
By Matthias Baaz and Andrei Voronkov

“Logic for programming, artificial intelligence, and reasoning” Metadata:
- Title: ➤ Logic for programming, artificial intelligence, and reasoning
- Authors: Matthias BaazAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for programming, artificial intelligence, and reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Handbook of Automated Reasoning
By Robinson, Alan and Andrei Voronkov

“Handbook of Automated Reasoning” Metadata:
- Title: ➤ Handbook of Automated Reasoning
- Authors: Robinson, AlanAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Handbook of Automated Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Logic for Programming, Artificial Intelligence, and Reasoning
By Andrei Voronkov,Miki Hermann

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:
- Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
- Author: Andrei Voronkov,Miki Hermann
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Logic for Programming, Artificial Intelligence, and Reasoning
By Andrei Voronkov,Franz Baader

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:
- Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
- Author: Andrei Voronkov,Franz Baader
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Logic for Programming, Artificial Intelligence, and Reasoning
By Andrei Voronkov,Geoff Sutcliffe

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:
- Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
- Author: ➤ Andrei Voronkov,Geoff Sutcliffe
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Logic for programming and automated reasoning
By Harald Ganzinger, David McAllester and Andrei Voronkov

“Logic for programming and automated reasoning” Metadata:
- Title: ➤ Logic for programming and automated reasoning
- Authors: Harald GanzingerDavid McAllesterAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for programming and automated reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Computer Science - Theory and Applications
By Volker Diekert, Mikhail Volkov and Andrei Voronkov
“Computer Science - Theory and Applications” Metadata:
- Title: ➤ Computer Science - Theory and Applications
- Authors: Volker DiekertMikhail VolkovAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computer Science - Theory and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Handbook Of Automated Reasoning
By J. Robinson, Alan Robinson and Andrei Voronkov

“Handbook Of Automated Reasoning” Metadata:
- Title: ➤ Handbook Of Automated Reasoning
- Authors: J. RobinsonAlan RobinsonAndrei Voronkov
- Language: English
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Handbook Of Automated Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Logic for Programming, Artificial Intelligence, and Reasoning
By Andrei Voronkov,Christian G. Ferm Ller

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:
- Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
- Author: ➤ Andrei Voronkov,Christian G. Ferm Ller
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic for Programming, Artificial Intelligence, and Reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Computer Science - Theory and Applications
By Andrei Voronkov,Volker Diekert,Mikhail Volkov

“Computer Science - Theory and Applications” Metadata:
- Title: ➤ Computer Science - Theory and Applications
- Author: ➤ Andrei Voronkov,Volker Diekert,Mikhail Volkov
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computer Science - Theory and Applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.