Andrei Voronkov Libros
Perspectives of System Informatics
2019
Perspectives of System Informatics
2018
Perspectives of System Informatics
2016
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Perspectives of System Informatics
2015
Handbook of Automated Reasoning
2001
Perspectives of Systems Informatics
2010