Automated Deduction - Cade-18
Andrei Voronkov
₹5,649
Author
Books by Andrei Voronkov
Showing 1–5 of 5 books
Logic Programming
Andrei Voronkov
₹5,642
Logic Programming and Automated Reasoning
Andrei Voronkov
₹5,639
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Rewriting Techniques and Applications
Andrei Voronkov
₹5,690