WikiDer > 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 fikrlashva 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
 | Bu Kompyuter fanlari maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |