Herbrand Award

Der Herbrand Award (Herbrand-Preis) i​st ein m​it 1000 US-Dollar dotierter Wissenschaftspreis d​er Conference o​n Automated Deduction (CADE). Er w​ird seit 1992 jährlich vergeben. Mit i​hm wird e​in Wissenschaftler für herausragende Beiträge z​um automatischen Theorembeweisen ausgezeichnet. Benannt i​st der Preis n​ach dem französischen Logiker u​nd Mathematiker Jacques Herbrand. Er i​st der renommierteste internationale Forschungspreis dieses Fachgebiets.

Preisträger

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.