Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Поиск
Венцов Ю.Г. [1989] Об алгоритмической размерности моделей ДАН СССР, 305, № 1, 21-24 89.Г7.407 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Венцов Ю.Г. [1994] Конструктивные модели бесконечной алгоритмической размерности ДАН СССР 335, № 2, 135-137 94.11.51 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Венцов Ю.Г. [1994] Конструктивные модели регулярно бесконечной алгоритмической размерности Алгебра и логика, 33, № 2, 135-146 94.11.50 G статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Венцов Ю.Г. [1994] Вычислимые классы конструктивизаций для моделей бесконечной алгоритмической размерности Алгебра и логика, 33, № 1, 37-75 94.08.91 G статья ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Венцов Ю.Г. [1987] Семейство рекурсивно перечислимых множеств с конечными классами неэквивалентных однозначных вычислимых нумераций Вычис. системы,...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.В Важенин Ю.М. Вайнберг Ю.Р. Валидов Ф.И. Васильева И.З. Венцов Ю.Г. Верещагин Н.К. Вершинин К.П. Вехнер С. Вьюгин В.В. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.