Automated Deduction - Cade-16
Harald Ganzinger
₹5,598
Author
Books by Harald Ganzinger
Showing 1–3 of 3 books
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581
Rewriting Techniques and Applications
Harald Ganzinger
₹5,602