Home > Authors > Andrei Voronkov

Andrei Voronkov

All books by Andrei Voronkov

(Displaying 2 Books)

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan

Perspectives of System Informatics

Perspectives of System Informatics

Nikolaj Bjørner

Looking for another book by Andrei Voronkov? Search for the book by title.