Ассоциация автоматизированного мышления - Association for Automated Reasoning
Ассоциация Автоматизированной Рассуждение (AAR) является некоммерческой корпорацией , которая служит в качестве ассоциации исследователей , работающих на автоматическое доказательство , автоматизированных рассуждений и смежных областях. Он организует Кейд и IJCAR конференций и издает примерно ежеквартальный бюллетень.
Веб-сайт ассоциации поддерживается Валентином Монмирайлом и Джеффом Сатклиффом в Джекилле (программное обеспечение) .
внешние ссылки
Эта статья по информатике незавершена . Вы можете помочь Википедии, расширив ее . |