Association for Automated Reasoning (Q4809405)
Jump to navigation
Jump to search
non-profit that seeks to advance the field of automated reasoning
Language | Label | Description | Also known as |
---|---|---|---|
English | Association for Automated Reasoning |
non-profit that seeks to advance the field of automated reasoning |