TY  - BOOK
AU  - Andrei Voronkov Christoph Weidenbach
TI  - Programming Logics: Essays in Memory of Harald Ganzinger
SN  - 978-3-642-37651-1
PY  - 2013///
CY  - Heidelberg
PB  - Springer-Verlag Berlin
KW  - MCA&BCA
UR  - http://192.168.3.1/ebooks/link/Ebooks MCA & BCA/Programming Logics Essays in Memory of Harald Ganzinger by Andrei Voronkov Christoph Weidenbach.pdf
ER  -