Голунков Ю.В., Савельев А.А. ...


Голунков Ю.В., Савельев А.А.
[1987]
О системах алгоритмических алгебр, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
Вероят. методы и кибернетика, Казань, Из-во КГУ, № 23, 58-81
88.06.62
статья

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