Ontify
⌘
S
⌘
S
Herbrand Award - Ontify
Share
Herbrand Award
Award for research contributions to automated deduction.
Wikipedia | Herbrand Award
Statements about
Herbrand Award
Instance Of
Inception
Field of Work
Official Website
Named After
Conferred By
Native Label
1992
http://cadeinc.org/Herbrand-Award
Herbrand Award
Award
Computer-Assisted Proof
Jacques Herbrand
Conference on Automated Deduction
