Harald Ganzinger
E109502
UNEXPLORED
Harald Ganzinger was a prominent German computer scientist known for his influential work in automated theorem proving and term rewriting systems.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.