Результаты исследований: Материалы конференций › тезисы › Рецензирование
Нижние оценки для расширений системы Polynomial Calculus. / Алексеев, Ярослав Юрьевич.
2021. 28-29 Реферат от Конференция международных математических центров мирового уровня, Сочи, Российская Федерация.Результаты исследований: Материалы конференций › тезисы › Рецензирование
}
TY - CONF
T1 - Нижние оценки для расширений системы Polynomial Calculus
AU - Алексеев, Ярослав Юрьевич
PY - 2021/8/13
Y1 - 2021/8/13
M3 - тезисы
SP - 28
EP - 29
T2 - Конференция международных математических центров мирового уровня
Y2 - 9 August 2021 through 13 August 2021
ER -
ID: 85096477