WikiDer > Автоматтандырылған ойлау қауымдастығы
Association for Automated Reasoning
The Автоматтандырылған ойлау қауымдастығы (AAR) - зерттеушілердің бірлестігі ретінде қызмет ететін коммерциялық емес корпорация автоматтандырылған теорема, автоматтандырылған пайымдаужәне байланысты өрістер. Ол ұйымдастырады CADE және IJCAR конференциялар өткізеді және шамамен тоқсан сайынғы ақпараттық бюллетень шығарады.
Қауымдастықтың веб-сайтын Валентин Монтмирайл басқарады Джеофф Сатклифф жылы Jekyll (бағдарламалық жасақтама).
Сыртқы сілтемелер
 | Бұл Информатика мақала бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |