Weiter zum Inhalt Weiter zur Fußzeile

Herbrand Award

Auszeichnung: PreisPreis für erfahrene Forschende

Beschreibung

The Herbrand Award for Distinguished Contributions to Automated Reasoning is awarded by CADE Inc. “to honor an individual or (a group of) individuals for exceptional contributions to the field of Automated Deduction.”
BekanntheitsgradInternational
Verleihende OrganisationenCADE Inc.

Schlagworte

Forschungsprofillinien der TU Dresden

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis