
Automated Deduction - Cade-18
Andrei Voronkov
₹5,649

11th International Andrei P. Ershov Informatics Conference
Springer International Publishing AG · 2018 · Paperback
Free delivery. Nothing extra to pay at checkout.
Published by Springer International Publishing AG in 2018, Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference by Andrei Voronkov runs to 432 pages in paperback.
The book deals with Computer science, Software engineering, Programming languages (electronic computers) and Systems engineering.