Библиография Лаврова И.А.


Титов Н.Н.
[1985]
О конечной порожденности некоторых классов рекурсивно перечислимых множеств
Кибернетика, 2, 100-102
85.10.61
статья

Вернуться к поиску