Avtomatlashtirilgan fikrlash assotsiatsiyasi - Association for Automated Reasoning

The Avtomatlashtirilgan fikrlash assotsiatsiyasi (AAR) - bu tadqiqot olib boradigan tadqiqotchilar uyushmasi bo'lib xizmat qiladigan notijorat korporatsiya avtomatlashtirilgan teorema, avtomatlashtirilgan fikrlash va tegishli maydonlar. U tashkil qiladi SAPR va IJCAR konferentsiyalar va taxminan har chorakda axborot byulletenlarini nashr etadi.

Assotsiatsiya veb-saytini Valentin Montmirail va Geoff Sutliffe yilda Jekyll (dasturiy ta'minot).

Tashqi havolalar