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

Новости

03 Июля, 2024 IX Всероссийский конкурс научно-исследовательских работ студентов и аспирантов

13 Июня, 2024 OS Day 2024: архитектура операционных систем и вопрос безопасности ПО

24 Апреля, 2024 ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений

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

[1984]

О решетке систем алгоритмических алгебр частично рекурсивных функций и предикатов

Изв. Вузов. Мат., № 11, 57-59

85.05.66

статья

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