A
Andrei Voronkov
4 books available on BookShops.in
Books by Andrei Voronkov
Springer
Automated Deduction - Cade-18 (English, Andrei Voronkov)
₹5,649
Programming
Logic Programming (English, Andrei Voronkov)
₹5,642
Programming
Logic Programming and Automated Reasoning (English, Andrei Voronkov)
₹5,639
Springer
Rewriting Techniques and Applications (English, Andrei Voronkov)
₹5,690