Herbrand Award (Q6836846)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Unfortunately, we do not yet have an article page for this item.
award for research contributions to automated deduction
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Herbrand Award |
award for research contributions to automated deduction |
