Harald Ganzinger German Scientist
Harald Ganzinger dating history
Relationships
We have no records of past relationships for Harald Ganzinger.
About
Harald Ganzinger is a member of the following lists: 1950 births, 2004 deaths and Technical University of Munich alumni.
Contribute
Who is Harald Ganzinger dating? Harald Ganzinger partner, spouse list. Help us build our profile of Harald Ganzinger!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| First Name |
Harald
|
| Last Name |
Ganzinger
|
| Birthday |
31st October, 1950
|
| Died |
3rd June, 2004
|
| Zodiac Sign |
Scorpio
|
| Nationality |
German
|
| Occupation |
Scientist
|
Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic.
More about Harald Ganzinger
Less about Harald Ganzinger
