Set Equation Transformation System.
Symbolic manipulation of Boolean equations. "Efficient Ordering of Set Expressions for Symbolic Expansion", R.G. Worrell et al, J ACM 20(3):482-488 (Jul 1973).
Set Equation Transformation System.
Symbolic manipulation of Boolean equations. "Efficient Ordering of Set Expressions for Symbolic Expansion", R.G. Worrell et al, J ACM 20(3):482-488 (Jul 1973).
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012