Andrei Voronkov

Books
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2019
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2018
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2016
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015
Handbook of Automated Reasoning Handbook of Automated Reasoning
Handbook of Automated Reasoning
2001