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.
Also inDeutsch
Awards 1
Connected to Harald 3
Academics from Germany 3
About this person
Country
GermanyCategory
Academics
Type
Academic
Status
deceased
Dates
Lived 1950 to 2004 · aged 53
Written about in
6 languages
Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.