Similar to ELM

AC - Arc Consistency
AC - Assumption Context
AC - 'A' Complement
AC - Added Constraint
ACA - Arithmetic Comprehension Axiom
ACA - Adaptive Conjoint Analysis
ACC - Ascending Chain Condition

View all in Mathematics