Prêmio Herbrand

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Este artigo não cita fontes confiáveis e independentes (desde fevereiro de 2013). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

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

Laureados[editar | editar código-fonte]

Ligações externas[editar | editar código-fonte]