Prêmio Herbrand – Wikipédia, a enciclopédia livre

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

Ligações externas

[editar | editar código-fonte]