Herbrand Award Winners
People with Herbrand Award
People
| Name | Title |
|---|---|
| Alan Bundy | British artificial intelligence researcher |
| Andrei Voronkov | Academic |
| Donald W. Loveland | American mathematician |
| Edmund M. Clarke | |
| Franz Baader | German computer scientist |
| Gérard Huet | |
| Harald Ganzinger | |
| John Alan Robinson | British-American mathematician |
| Martin Davis (tennis) | American tennis player |
| Melvin Fitting | logician |
| Peter B. Andrews | American mathematician |
| William McCune | Computer scientist |
| Wolfgang Bibel | Computer scientist |
| Woody Bledsoe | American mathematician |
| Wu Wenjun | Chinese mathematician |
| Zohar Manna |
Herbrand Award (0 years)
- Inception: