Премия Herbrand - Herbrand Award

В Премия Herbrand за выдающийся вклад в автоматизированное мышление это награда, данная CADE Inc. (хотя и предшествует официальному включению CADE) в честь отдельных лиц или групп за важный вклад в сферу автоматический вычет. Премия названа в честь Французский ученый Жак Эрбранд и дается не более одного раза на CADE или IJCAR конференция. Он идет с призом в 1000 долларов США. Кто угодно может быть номинирован, награда присуждается после голосования среди попечителей CADE и бывших получателей, обычно при участии программного комитета CADE / IJCAR.

Получатели

Премией в прошлом были:

1990-е

2000-е

2010-е

2020-е

Смотрите также

внешняя ссылка