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

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

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

внешние ссылки