Geodesic
О сложности линейных выводов в методе резолюций
Veroâtnostnye metody i kibernetika, Tome 19 (1983), pp. 106-112

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : resolution, linear resolution, complexity of proof, propositional calculus 
@article{VMK_1983__19_69236,
     author = {{\CYRR}.{\CYRK}. {\CYRS}{\cyra}{\cyrm}{\cyri}{\cyrt}{\cyro}{\cyrv}},
     title = {{\CYRO} {\cyrs}{\cyrl}{\cyro}{\cyrzh}{\cyrn}{\cyro}{\cyrs}{\cyrt}{\cyri} {\cyrl}{\cyri}{\cyrn}{\cyre}{\cyrishrt}{\cyrn}{\cyrery}{\cyrh} {\cyrv}{\cyrery}{\cyrv}{\cyro}{\cyrd}{\cyro}{\cyrv} {\cyrv} {\cyrm}{\cyre}{\cyrt}{\cyro}{\cyrd}{\cyre} {\cyrr}{\cyre}{\cyrz}{\cyro}{\cyrl}{\cyryu}{\cyrc}{\cyri}{\cyrishrt}},
     journal = {Vero\^atnostnye metody i kibernetika},
     pages = {106--112},
     publisher = {mathdoc},
     volume = {19},
     year = {1983},
     zbl = {0535.03005},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMK_1983__19_69236/}
}
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  - 
%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
Р.К. Самитов. О сложности линейных выводов в методе резолюций. Veroâtnostnye metody i kibernetika, Tome 19 (1983), pp. 106-112. http://geodesic.mathdoc.fr/item/VMK_1983__19_69236/