H. Ganzinger
3 published titles
Automated deduction - CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540662227
- Springer
- 1999
- Details
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 3540664920
- Springer
- 1999
- Details
Programming logics : essays in memory of Harald Ganzinger
(Contributor)
1 edition
- ISBN: 9783642376504
- Springer
- 2013
- Details