519.717. Тождественные преобразования.
519.717.2
Оценка мощности множества правил преобразования в различных системах.
519.717.3
Системы правил преобразования для конкретных классов.
См. также
519.681.3
.
[
Начало
]