ESARM

AcronymDefinition
ESARM➣Empirically Successful Automated Reasoning for Mathematics (workshop)