Библиография Лаврова И.А.
Новости
Лавров И.А.
ОБЩАЯ ТЕОРИЯ ВЫЧИСЛИМОСТИ
(библиография)
Навигация по авторам:
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
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
Поиск
Гуревич Ю.Ш. [1964] Элементарные свойства упорядоченных абелевых групп Алгебра и логика, 3, № 1, 5-39 64.12.263 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гуревич Ю.Ш. [1964] Элементарные свойства упорядоченных абелевых групп Успехи мат. наук, 19, № 2, 222-223 65.02.303 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гуревич Ю.Ш., Кокорин А.И. [1963] Универсальная эквивалентность упрядоченных абелевых групп Алгебра и логика, 2, № 1, 37-39 63.11.185 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гуревич Ю.Ш. [1966] Проблема разрешения для узкого исчисления предикатов ДАН СССР, 166, № 3, 510-511 66.10.47 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гуревич Ю.Ш. [1969] Проблема разрешения для логики предикатов и операций Алгебра и логика, 8, № 3, 284-308 70.04.107 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гуревич Ю.Ш. [1966] Об эффективном распознавании выполнимых формул УИП Алгебра и логика, 5, № 2, 25-55 67.03.61 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гуревич Ю.Ш. [1969] Проблема разрешения проблем разрешения Алгебра и логика, 8, № 6, 640-642 70.09.79. статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Гуревич Ю.Ш. [1966] К проблеме разрешения для чистого узкого исчисления предикатов ДАН СССР, 166, № 5, 1032-1034 66.08.77 статья Вернуться к поиску
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.Г Гаврилов С. Гаврюшкин А.Н. Гайлит М.В. Гермес Г. Гильберт Д. Голунков Ю.В. Гончаров С.С. Гришин В.Н. Гуревич Ю.Ш. Вернуться на главную страницу
Путь: Институт системного программирования им. В.П. Иванникова Роcсийской академии наук / Библиография Лаврова И.А.