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