Hispanopedia WikiLa Asociación para el Razonamiento Automatizado (AAR) es una corporación sin fines de lucro que funciona como una asociación de investigadores que trabajan en la demostración automatizada de teoremas , el razonamiento automatizado y campos relacionados. Organiza las conferencias CADE e IJCAR y publica un boletín informativo aproximadamente trimestralmente.
El sitio web de la asociación es mantenido por Valentin Montmirail y Geoff Sutcliffe en Jekyll (software) .
Referencias
Enlaces externos
- Página web de la AAR