Premio Herbrand

Entregado desde 1992 el Premio Herbrand se otorga anualmente a un científico o a un grupo de investigación por sus contribuciones en el área de razonamiento automatizado.El premio lleva el nombre del matemático y lógico francés Jacques Herbrand (1908-1931) y es considerado el premio de más renombre internacional en esta área.Association for Automated Reasoning