Harald Ganzinger
 | This article needs additional citations for verification. (October 2023) |
Harald Ganzinger | |
|---|---|
| Born | 31 October 1950  |
| Died | 3 June 2004 (aged 53) |
| Alma mater | |
Harald Ganzinger (31 October 1950,
automated theorem provers for first-order logic
.
He received his
automated theorem prover
.
He received the
posthumous) for his important contributions to automated theorem proving
.
References
- Rewrite-Based Equational Theorem Proving with Selection and Simplification, Leo Bachmair and Harald Ganzinger, Journal of Logic and Computation 3(4), 1994.
External links
- Personal Homepage of Harald Ganzinger — Version of Dec.7th, 2013 saved at archive.org
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
 | This article about a computer specialist of Germany is a stub. You can help Wikipedia by expanding it. |