Programming Logics: Essays in Memory of Harald Ganzinger by Andrei Voronkov

download center

Programming Logics: Essays in Memory of Harald Ganzinger

Andrei Voronkov - Programming Logics: Essays in Memory of Harald Ganzinger
Enter the sum