%0 Journal Article
%A Р.К. Самитов
%T О сложности линейных выводов в методе резолюций
%J Veroâtnostnye metody i kibernetika
%D 1983
%P 106-112
%V 19
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1983__19_69236/
%G ru
%F VMK_1983__19_69236