Harald Ganzinger
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Death | 20 years ago |
| Date of birth | October 31,1950 |
| Zodiac sign | Scorpio |
| Born | Werneck |
| Germany | |
| Date of died | June 3,2004 |
| Died | Saarbrucken |
| Germany | |
| Books | Esop '88 |
| Education | Technische Universität München |
| Date of Reg. | |
| Date of Upd. | |
| ID | 874837 |
Harald Ganzinger Life story
Harald Ganzinger was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is used in most of the state-of-the-art automated theorem provers for first-order logic. He received his Ph.D. from the Technical University of Munich in 1978.
Harald Ganzinger Photos
