Andrei Voronkov
Books
- Handbook Of Automated Reasoning
- Handbook of Automated Reasoning
- Perspectives of systems informatics
- Handbook of Automated Reasoning
- Logic Programming and Automated Reasoning
- Logic for programming, artificial intelligence, and reasoning
- Automated Reasoning
- Rewriting Techniques and Applications
- Automated Deduction - CADE-18
- Handbook of Automated Reasoning
- Computer Science - Theory and Applications
- Logic for programming and automated reasoning
- Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings
- Logic for programming artificial intelligence and reasoning
- Programming Logics
- Logic for programming, artificial intelligence, and reasoning
- Logic for Programming, Artificial Intelligence, and Reasoning
- Perspectives of System Informatics
Author data: Open Library