Premio Herbrand

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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.


Lista de premiados del Premio Herbrand[editar]

Enlaces externos[editar]

Association for Automated Reasoning