Similar to STLC

AGT - Anomalous Gauge Theory
AGTP - Automated Geometry Theorem Proving
AH - Arithmetical Hierarchy
AHP - Analytic Hierarchy Process
AI - Algebraically Independent
AI - All Inclusive
AIC - Akaike Information Criterion

View all in Mathematics