Andrei Voronkov
Andrei Voronkov
10 books in the database
Books
Programming LogicsAndrei Voronkov
Programming Logics
Andrei Voronkov · 2013
Perspectives of systems informaticsAndrei Voronkov
Perspectives of systems informatics
Andrei Voronkov · 2007
Logic for programming, artificial intelligence, and reasoningAndrei Voronkov
Logic for programming, artificial intelligence, and reasoning
Andrei Voronkov · 2006
Automated Deduction - CADE-18Andrei Voronkov
Automated Deduction - CADE-18
Andrei Voronkov · 2002
Handbook of Automated ReasoningAndrei Voronkov
Handbook of Automated Reasoning
Andrei Voronkov · 2001
Automated ReasoningAndrei Voronkov
Automated Reasoning
Andrei Voronkov · 2001
Handbook of Automated ReasoningAndrei Voronkov
Handbook of Automated Reasoning
Andrei Voronkov · 2001
Logic Programming and Automated ReasoningAndrei Voronkov
Logic Programming and Automated Reasoning
Andrei Voronkov · 1993
Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 ProceedingsAndrei Voronkov
Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
Andrei Voronkov · 2012
Rewriting Techniques and ApplicationsAndrei Voronkov
Rewriting Techniques and Applications
Andrei Voronkov · 2009
Co-authored books and collections
Books that list Andrei Voronkov among their authors but not as the lead author: co-written works, collections and compilations.
Logic for Programming, Artificial Intelligence, and ReasoningKen McMillan
Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan · 2013
Logic for programming artificial intelligence and reasoningMoshe Y. Vardi
Logic for programming artificial intelligence and reasoning
Moshe Y. Vardi · 2003
Logic for programming, artificial intelligence, and reasoningMatthias Baaz
Logic for programming, artificial intelligence, and reasoning
Matthias Baaz · 2002
Logic for programming and automated reasoningHarald Ganzinger
Logic for programming and automated reasoning
Harald Ganzinger · 1999
Perspectives of System InformaticsNikolaj Bjørner
Perspectives of System Informatics
Nikolaj Bjørner · 2015
Handbook Of Automated ReasoningJ. Robinson
Handbook Of Automated Reasoning
J. Robinson · 2001
Handbook of Automated ReasoningRobinson, Alan
Handbook of Automated Reasoning
Robinson, Alan · 2001
Computer Science - Theory and ApplicationsVolker Diekert
Computer Science - Theory and Applications
Volker Diekert · 2007