Geodesic
О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
Issledovanija po prikladnoj matematike, Tome 3 (1988) no. 6, pp. 121-124.

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

Mots-clés : resolution method, ordering disjunctives, provability of formulas 
@article{IPM_1988__3_6_68942,
     author = {{\CYRV}.{\CYRI}. {\CYRSH}{\cyra}{\cyrr}{\cyro}{\cyrn}{\cyro}{\cyrv}},
     title = {{\CYRO} {\cyrp}{\cyrr}{\cyri}{\cyrm}{\cyre}{\cyrn}{\cyre}{\cyrn}{\cyri}{\cyri} {\cyrs}{\cyrt}{\cyrr}{\cyra}{\cyrt}{\cyre}{\cyrg}{\cyri}{\cyri} {\cyru}{\cyrp}{\cyro}{\cyrr}{\cyrya}{\cyrd}{\cyro}{\cyrch}{\cyri}{\cyrv}{\cyra}{\cyrn}{\cyri}{\cyrya} {\cyrd}{\cyri}{\cyrz}{\cyrsftsn}{\cyryu}{\cyrk}{\cyrt}{\cyro}{\cyrv} {\cyrd}{\cyrl}{\cyrya} {\cyro}{\cyrd}{\cyrn}{\cyro}{\cyrishrt} {\cyrm}{\cyro}{\cyrd}{\cyri}{\cyrf}{\cyri}{\cyrk}{\cyra}{\cyrc}{\cyri}{\cyri} {\cyrm}{\cyre}{\cyrt}{\cyro}{\cyrd}{\cyra} {\cyrr}{\cyre}{\cyrz}{\cyro}{\cyrl}{\cyryu}{\cyrc}{\cyri}{\cyrishrt}},
     journal = {Issledovanija po prikladnoj matematike},
     pages = {121--124},
     publisher = {mathdoc},
     volume = {3},
     number = {6},
     year = {1988},
     zbl = {0664.03011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IPM_1988__3_6_68942/}
}
TY  - JOUR
AU  - В.И. Шаронов
TI  - О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
JO  - Issledovanija po prikladnoj matematike
PY  - 1988
SP  - 121
EP  - 124
VL  - 3
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IPM_1988__3_6_68942/
LA  - ru
ID  - IPM_1988__3_6_68942
ER  - 
%0 Journal Article
%A В.И. Шаронов
%T О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
%J Issledovanija po prikladnoj matematike
%D 1988
%P 121-124
%V 3
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IPM_1988__3_6_68942/
%G ru
%F IPM_1988__3_6_68942
В.И. Шаронов. О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций. Issledovanija po prikladnoj matematike, Tome 3 (1988) no. 6, pp. 121-124. http://geodesic.mathdoc.fr/item/IPM_1988__3_6_68942/