Поиск :
Личный кабинет :
Электронный каталог: Оревков, В. П. - Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов
Оревков, В. П. - Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов
Статья
Автор: Оревков, В. П.
Доклады Академии наук СССР: Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов
б.г.
ISBN отсутствует
Автор: Оревков, В. П.
Доклады Академии наук СССР: Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов
б.г.
ISBN отсутствует
На полку
Статья
Оревков, В. П.
Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов / В. П. Оревков // Доклады Академии наук СССР. – 1987. – Т. 294, № 4. – С. 784-787.
-- 1. Математика.
Оревков, В. П.
Нижние оценки длин выводов в арифметике через сложность участвующих в выводах термов / В. П. Оревков // Доклады Академии наук СССР. – 1987. – Т. 294, № 4. – С. 784-787.
-- 1. Математика.
Привязано к:
Доступно
1 из 1
Выпуск
Доклады Академии наук СССР Т. 294, № 4
1987 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук СССР Т. 294, № 4
1987 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН