Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Матиясевич Ю.В. [1967] Простые примеры неразрешимых ассоциативных исчислений ДАН СССР, 173, № 6, 1264-1266 67.12.55. статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1993] Десятая проблема Гильберта М., Наука 93.08.28 книга Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1970] Диофантовость перечислимых множеств ДАН СССР, 191, № 2, 279-282 70.07.80 OS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1988] Диофантова сложность Запис. Науч. семинаров ЛОМИ, 1746, 122-131 89.05.38 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1971] Диофантово представление множества простых чисел ДАН СССР, 196, № 4, 770-773 71.07.117 R статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1972] Диофантовые множества Успехи мат. наук, 27, № 5, 185-222 73.03.70 O статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1968] Связь системам уравнений в словах с 10-ой проблемы Гильберта Зап. ЛОМИ АН СССР, VIII, Л., 132--144 69.08.125 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1967] Простые примеры неразрешимых канонических ассоциативных исчислений Труды Мат. ин-та АН СССР, 93, 50-88 68.05.69 R статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1984] Об исследованиях по некоторым алгорифмическим проблемам алгебры и теории чисел Труды Мат. ин-та АН СССР, 168, 218-235 84.10.96 статья Вернуться ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1971] Диофантово представление перечислимых предикатов Изв. АН СССР, сер. мат., 35, № 1, 3-30 71.06.51 RS статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В. [1972] Диофантово представление перечислимых предикатов Межд. конгресс математиков, (Ницца, 1970), М., Наука, 203-206 73.03.71 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Матиясевич Ю.В., Робинсон Дж. [1974] Два универсальных трехкванторных представления перечислимых множеств Сб. Теория алгорифмов и матем. логика, М., ВЦ АН ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.М Маканин Г.С. МакКой Ч. Ф. Максимова Л. Л. МальцевАИ МальцевАнА МанФК Манин Ю.И. Маранджан Г.Б. Марков А.А. Марченков С. С. Маслова Т.М. Матиясевич Ю.В. Матросов В.Л. Медведев Ю.Т. Мейтус В.Ю. Мендельсон Э. Микенберг А.М. Миллер С. Минский М. Михеев В.Л. Мокацян А.А. Морозов А. С. МучникАА МучникАнА ...
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.