ADDCT stands for Automated Deduction: Decidability, Complexity, Tractability (Workshop)

ADDCT
Share
Abbreviations And Their Meaning