RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Абаджян Ашот Г.
Публикации в базе данных Math-Net.Ru
Polynomial length proofs for some class of Tseitin formulas
Уч. записки ЕГУ, сер. Физика и Математика
, 2011, № 3,
3–8
©
МИАН
, 2024