ATM - set-theoretic identities
ATM
- with notebook for examples
- with Unicode symbols
ATM denotes an algorithm, together with its computational realization, for establishing the validity of set-theoretic identities.
ATM
ATM denotes an algorithm, together with its computational realization, for establishing the validity of set-theoretic identities.