Andrei Voronkov
· 18 obras en el catálogo
Obras
Logic for programming, artificial intelligence, and reasoning
Logic for programming artificial intelligence and reasoning
Logic for programming, artificial intelligence, and reasoning
Logic for programming and automated reasoning
Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
Perspectives of systems informatics
Programming Logics
Perspectives of System Informatics
Logic for Programming, Artificial Intelligence, and Reasoning
Rewriting Techniques and Applications
Handbook of Automated Reasoning
Handbook of Automated Reasoning
Automated Reasoning
Computer Science - Theory and Applications
Handbook Of Automated Reasoning
Handbook of Automated Reasoning
Automated Deduction - CADE-18
