ADDCT

(redirected from Automated Deduction: Decidability, Complexity, Tractability)
AcronymDefinition
ADDCTAutomated Deduction: Decidability, Complexity, Tractability (Workshop)
Full browser ?