prix Herbrand (Q449390)
Aller à la navigation
Aller à la recherche
distinction mathématique
Langue | Libellé | Description | Également connu comme |
---|---|---|---|
français | prix Herbrand |
distinction mathématique |
|
anglais | Herbrand Award |
award for research contributions to automated deduction |
Déclarations
1992
0 référence
Herbrand Award (anglais)
0 référence
Identifiants
1 référence
28 octobre 2013
Liens de site
Wikipédia(6 entrées)
- dewiki Herbrand Award
- enwiki Herbrand Award
- eswiki Premio Herbrand
- frwiki Prix Herbrand
- hewiki פרס הרברנד
- ptwiki Prêmio Herbrand