Andrei Voronkov

• Programming Logics
• Handbook of Automated Reasoning
• Automated Deduction - CADE-18
• Automated Reasoning
• Handbook Of Automated Reasoning
• Handbook of Automated Reasoning
• Handbook of Automated Reasoning
• Logic for programming and automated 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
• Logic for Programming, Artificial Intelligence, and Reasoning
• Logic for programming, artificial intelligence, and reasoning