WikiDer > Ассоциация автоматизированного мышления

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

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

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

• Веб-страница AAR

Этот Информатика статья - это заглушка. Вы можете помочь Википедии расширяя это. v т е