Prêmio Herbrand

O Prêmio Herbrand (em inglês: Herbrand Award for Distinguished Contributions to Automated Deduction) é um prêmio concedido pela Conference on Automated Deduction (CADE) Inc., honorificando pessoas ou grupos por contribuições fundamentais no campo da dedução automática. A denominação do prêmio é uma homenagem a Jacques Herbrand

LaureadosEditar

Ligações externasEditar