Стратегия упорядочивания дизъюнктов в методе резолюций
Issledovanija po prikladnoj matematike (1974)
- Volume: 2, page 85-90
- ISSN: 1072-3374; 1573-8795/e
Access Full Article
topHow to cite
topШаронов, В.И.. "Стратегия упорядочивания дизъюнктов в методе резолюций." Issledovanija po prikladnoj matematike 2 (1974): 85-90. <http://eudml.org/doc/68925>.
@article{Шаронов1974,
author = {Шаронов, В.И.},
journal = {Issledovanija po prikladnoj matematike},
language = {rus},
pages = {85-90},
publisher = {Izd. Kazanskogo universiteta},
title = {Стратегия упорядочивания дизъюнктов в методе резолюций},
url = {http://eudml.org/doc/68925},
volume = {2},
year = {1974},
}
TY - JOUR
AU - Шаронов, В.И.
TI - Стратегия упорядочивания дизъюнктов в методе резолюций
JO - Issledovanija po prikladnoj matematike
PY - 1974
PB - Izd. Kazanskogo universiteta
VL - 2
SP - 85
EP - 90
LA - rus
UR - http://eudml.org/doc/68925
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.