Universitaire
Harald Ganzinger
German computer scientist
- Vie
- 1950 – 2004
- Né(e) le
- 31 octobre 1950
- Décédé(e) le
- 3 juin 2004
- Nationalité
- Allemagne
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.
§Entrées associées
Universitaire
Alfons Kemper
German computer scientist
1958 – présent · Allemagne
Universitaire
Andy Bechtolsheim
German electrical engineer, co-founder of Sun Microsystems (born 1955)
1955 – présent · Allemagne
Universitaire
Claudia Eckert (computer scientist)
German computer scientist
1959 – présent · Allemagne
Universitaire
Daniel Karrenberg
German computer scientist
1959 – présent · Allemagne