Skip to content Skip to footer

Herbrand Award

Prize: Research prize

Description

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.”
Degree of recognitionInternational
Granting OrganisationsCADE Inc.

Keywords

Research priority areas of TU Dresden

Subject groups, research areas, subject areas according to Destatis