Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01961346n
Noun Named Entity
Categories: Prêmios de ciência da computação
PT
Prêmio Herbrand
PT
O Prêmio Herbrand é um prêmio concedido pela Conference on Automated Deduction Inc., honorificando pessoas ou grupos por contribuições fundamentais no campo da dedução automática. Wikipedia
Definitions
Relations
Sources
PT
O Prêmio Herbrand é um prêmio concedido pela Conference on Automated Deduction Inc., honorificando pessoas ou grupos por contribuições fundamentais no campo da dedução automática. Wikipedia
IS A
prémio
CONFERRED BY
EN
Conference on Automated Deduction
FIELD OF WORK
prova assistida por computador
NAMED AFTER
Jacques Herbrand
Wikipedia
PT
Prêmio Herbrand
Wikidata
PT
Prêmio Herbrand

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License