Browse
FAQ

Author

Harald Ganzinger

4 books found

Cover of ESOP '88

Esop '88

Harald Ganzinger · First published 2007

Cover of Automated Deduction - CADE-16

Automated Deduction - CADE-16

Harald Ganzinger · First published 1999

Cover of Logic for programming and automated reasoning

Logic for programming and automated reasoning

Harald Ganzinger, David McAllester, Andrei Voronkov · First published 1999

Cover of Informatik

Informatik

Johannes Buchmann, Harald Ganzinger, Wolfgang J. Paul · First published 1992