Herbrand Award (Q449390)
Jump to navigation
Jump to search
award for research contributions to automated deduction
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Herbrand Award |
award for research contributions to automated deduction |
Statements
1992
0 references
Herbrand Award (English)
0 references
Identifiers
Sitelinks
Wikipedia(6 entries)
- dewiki Herbrand Award
- enwiki Herbrand Award
- eswiki Premio Herbrand
- frwiki Prix Herbrand
- hewiki פרס הרברנד
- ptwiki Prêmio Herbrand