Andrei Voronkov

13 works on record

Works

Logic for programming and automated reasoning

Logic for programming, artificial intelligence, and reasoning

Logic for programming artificial intelligence and 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

Handbook of Automated Reasoning

Rewriting Techniques and Applications

Automated Reasoning

Logic Programming and Automated Reasoning

Automated Deduction - CADE-18