Geodesic
Стратегия упорядочивания дизъюнктов в методе резолюций
Issledovanija po prikladnoj matematike, Tome 2 (1974), pp. 85-90.

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

@article{IPM_1974__2_68925,
     author = {{\CYRV}.{\CYRI}. {\CYRSH}{\cyra}{\cyrr}{\cyro}{\cyrn}{\cyro}{\cyrv}},
     title = {{\CYRS}{\cyrt}{\cyrr}{\cyra}{\cyrt}{\cyre}{\cyrg}{\cyri}{\cyrya} {\cyru}{\cyrp}{\cyro}{\cyrr}{\cyrya}{\cyrd}{\cyro}{\cyrch}{\cyri}{\cyrv}{\cyra}{\cyrn}{\cyri}{\cyrya} {\cyrd}{\cyri}{\cyrz}{\cyrhrdsn}{\cyryu}{\cyrn}{\cyrk}{\cyrt}{\cyro}{\cyrv} {\cyrv} {\cyrm}{\cyre}{\cyrt}{\cyro}{\cyrd}{\cyre} {\cyrr}{\cyre}{\cyrz}{\cyro}{\cyrl}{\cyryu}{\cyrc}{\cyri}{\cyrishrt}},
     journal = {Issledovanija po prikladnoj matematike},
     pages = {85--90},
     publisher = {mathdoc},
     volume = {2},
     year = {1974},
     zbl = {0341.68060},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IPM_1974__2_68925/}
}
TY  - JOUR
AU  - В.И. Шаронов
TI  - Стратегия упорядочивания дизъюнктов в методе резолюций
JO  - Issledovanija po prikladnoj matematike
PY  - 1974
SP  - 85
EP  - 90
VL  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IPM_1974__2_68925/
LA  - ru
ID  - IPM_1974__2_68925
ER  - 
%0 Journal Article
%A В.И. Шаронов
%T Стратегия упорядочивания дизъюнктов в методе резолюций
%J Issledovanija po prikladnoj matematike
%D 1974
%P 85-90
%V 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IPM_1974__2_68925/
%G ru
%F IPM_1974__2_68925
В.И. Шаронов. Стратегия упорядочивания дизъюнктов в методе резолюций. Issledovanija po prikladnoj matematike, Tome 2 (1974), pp. 85-90. http://geodesic.mathdoc.fr/item/IPM_1974__2_68925/