Ассоциация автоматизированного мышления - Association for Automated Reasoning

В Ассоциация автоматизированного мышления (AAR) - это некоммерческая корпорация, которая служит ассоциацией исследователей, работающих над автоматическое доказательство теорем, автоматическое рассуждение и связанные поля. Он организует CADE и IJCAR конференций и издает примерно ежеквартальный информационный бюллетень.

Веб-сайт ассоциации поддерживается Valentin Montmirail и Джефф Сатклифф в Джекилл (программное обеспечение).

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