О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций

@article{Шаронов1988,
author = {Шаронов, В.И.},
journal = {Issledovanija po prikladnoj matematike},
keywords = {resolution method; ordering disjunctives; provability of formulas},
language = {rus},
number = {6},
pages = {121-124},
publisher = {Izd. Kazanskogo universiteta},
title = {О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций},
url = {http://eudml.org/doc/68942},
volume = {3},
year = {1988},
}

TY - JOUR
AU - Шаронов, В.И.
TI - О применении стратегии упорядочивания дизьюктов для одной модификации метода резолюций
JO - Issledovanija po prikladnoj matematike
PY - 1988
PB - Izd. Kazanskogo universiteta
VL - 3
IS - 6
SP - 121
EP - 124
LA - rus
KW - resolution method; ordering disjunctives; provability of formulas
UR - http://eudml.org/doc/68942
ER -