Andrei Voronkov

No biography available.

Works (13)

Cover of Programming Logics

Programming Logics

Cover of Handbook of Automated Reasoning

Handbook of Automated Reasoning

Cover of Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Cover of Logic for programming and automated reasoning

Logic for programming and automated reasoning

Cover of Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

Logic For Programming Artificial Intelligence And Reasoning 18th International Conference Lpar18 Merida Venezuela March 1115 2012 Proceedings

Cover of Perspectives of systems informatics

Perspectives of systems informatics

Cover of Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning

Cover of Perspectives of System Informatics

Perspectives of System Informatics

Cover of Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Cover of Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

Cover of Handbook of Automated Reasoning

Handbook of Automated Reasoning

Cover of Automated Deduction - CADE-18

Automated Deduction - CADE-18

Cover of Handbook Of Automated Reasoning

Handbook Of Automated Reasoning