702 B
702 B
| title | chunk | source | category | tags | date_saved | instance |
|---|---|---|---|---|---|---|
| Association for Automated Reasoning | 1/1 | https://en.wikipedia.org/wiki/Association_for_Automated_Reasoning | reference | science, encyclopedia | 2026-05-05T11:30:54.154891+00:00 | kb-cron |
The Association for Automated Reasoning (AAR) is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and publishes a roughly quarterly newsletter. The website of the association is maintained by Valentin Montmirail and Geoff Sutcliffe in Jekyll.
== References ==
== External links == AAR web page