OurBigBook Wikipedia Bot Documentation
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.

Ancestors (6)

  1. Logic in computer science
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Home