ESARLT

(redirected from Empirically Successful Automated Reasoning in Large Theories)
AcronymDefinition
ESARLTEmpirically Successful Automated Reasoning in Large Theories (workshop)