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


Канович М.И.
[1982]
О табличных сводимостях проблем продолжения частично-рекурсивных функций
ДАН СССР, 264, № 2, 294-298
82.10.43
статья

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