TY  - JOUR
AU  - Р.К. Самитов
TI  - О сложности линейных выводов в методе резолюций
JO  - Veroâtnostnye metody i kibernetika
PY  - 1983
SP  - 106
EP  - 112
VL  - 19
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1983__19_69236/
LA  - ru
ID  - VMK_1983__19_69236
ER  -