Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01961346n
Noun Named Entity
Categories: Distinction en informatique, Distinction en mathématiques, Assistant de preuve, Distinction fondée en 1992
FR
prix Herbrand  Herbrand Award
FR
Le Prix Herbrand est une distinction scientifique de la Conference on Automated Deduction. Wikipedia
Definitions
Relations
Sources
FR
Le Prix Herbrand est une distinction scientifique de la Conference on Automated Deduction. Wikipedia
IS A
distinction
CONFERRED BY
EN
Conference on Automated Deduction
FIELD OF WORK
preuve assistée par ordinateur
NAMED AFTER
Jacques Herbrand
Wikipedia
FR
prix Herbrand
Wikidata
FR
prix Herbrand
Wikipedia Redirections
FR
Herbrand Award

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