Sdružení pro automatické uvažování - Association for Automated Reasoning

The Sdružení pro automatické uvažování (AAR) je nezisková společnost, která slouží jako sdružení výzkumných pracovníků pracujících na automatizované dokazování věty, automatické uvažování a související pole. Organizuje CADE a IJCAR konference a vydává zhruba čtvrtletní zpravodaj.

Webové stránky sdružení provozují Valentin Montmirail a Geoff Sutcliffe v Jekyll (software).

externí odkazy