via Wikidata · CC0
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.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).