Search results

Козмидиади В.А., Мучник А.А. (ред.) [1970] Сб. переводов «Проблемы в математической логике; Сложность алгоритмов и классы вычислимых функций» М., Мир 71.01.50 книга ...

... time computability Israel. J. Math, 1, № 4 , 203-211 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 156-167.) 65.02.120 O article Вернуться к поиску

... primitive recursion Math. Ann., 167, № 1, 53-55 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-ред.), М., Мир, 1970, 114-117.) 67.03.46 O article Вернуться к поиску

... math. Logik und Grundl. Math., 9 , № 4, 331-345 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. , (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970) 64.12.60 O article Вернуться к поиску

Grzegorczyk A. [1953] Some classes of recursive functions Rozprawy.Mathematycne, 4, Warszawa, 1-45 (Русский перевод в Cб. пер. Козмидиади В.А., Мучник А.А. (ред.) «Проблемы в матем. логике; Сложность алгоритмов и классы вычислимых функций», М., Мир, 1970, 9-49.) 59.01.76 ORS book Вернуться к поиску

... functions Trans. Amer. Math. Soc., 106, № 1, 139-173 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 50-93.) 63.08.65 R article Вернуться к поиску

... recursive functions J. Ass. Comp. Mach., 14, № 2, 322-336 (Русский перевод в Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 401-422.) 68.06.70 O article Вернуться к поиску

... math. Logik und Grundl. Math., 11, № 3, 253-255 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 118 -122.) 67.03.46 O article Вернуться к поиску

..., Inst. Electr. and Electron. Engs., 1965, 179-190. (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-ред.), М., Мир, 1970, 301-338.) 67.B5.171 O article Вернуться к поиску

... Каллибеков С. Камминс Д. Канович М.И. Каргаполов М. И. Касымов Н. Х. Катленд Н. Кехайапулу Н. Кинбер Е.Б. Клини С. К. Клосс Б.М. Кобзев Г.Н. Когабаев Н.Т. Козмидиади В.А. Козьминых В.В. Кокорин А.И. Колганов Н. Колмогоров А.Н. Комбарро Э.Ф. Корольков Ю.Д. Костырко В.Ф. Крупский В.Н. Ксяо-динг Йн Кудинов О.В. Кузнецов ...