Andrei Voronkov

도서
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년