Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Herbrand Award for Distinguished Contributions to Automated Reasoning

Auszeichnung: Preis, Auszeichnung oder Ehrung

Datum der Bewilligung2018