Herbrand Award

Auszeichnung für Forschungsbeiträge im Bereich des automatischen Schließens
(Weitergeleitet von Herbrand-Award)

Der Herbrand Award (Herbrand-Preis) ist ein mit 1000 US-Dollar dotierter Wissenschaftspreis der Conference on Automated Deduction (CADE). Er wird seit 1992 jährlich vergeben. Mit ihm wird ein Wissenschaftler für herausragende Beiträge zum automatischen Theorembeweisen ausgezeichnet. Benannt ist der Preis nach dem französischen Logiker und Mathematiker Jacques Herbrand. Er ist der renommierteste internationale Forschungspreis dieses Fachgebiets.

Preisträger

Bearbeiten
Bearbeiten