Andrei Voronkov

No counted ratings yet

2 books

No biography yet.

Books

Sorted by popularity.

Programming LogicsAndrei Voronkov
Programming Logics
Andrei Voronkov · 2013 · 456 pages
Want to read
Handbook of Automated ReasoningAndrei Voronkov
Handbook of Automated Reasoning
Andrei Voronkov · 2001 · 1658 pages
Want to read