The Herbrand Award is a prestigious recognition in the field of automated reasoning and logic programming, named after the French mathematician and logician Jacques Herbrand. It is awarded annually at the International Conference on Logic Programming (ICLP) to individuals or teams for their outstanding contributions to the field.
Articles by others on the same topic
There are currently no matching articles.