Об одной модификации талтики с упорядочиванием в методе резолюций
Issledovanija po prikladnoj matematike (1988)
- Volume: 3, Issue: 6, page 68-74
- ISSN: 1072-3374; 1573-8795/e
Access Full Article
top
How to cite
topЗамов, Н.К.. "Об одной модификации талтики с упорядочиванием в методе резолюций." Issledovanija po prikladnoj matematike 3.6 (1988): 68-74. <http://eudml.org/doc/68933>.
@article{Замов1988,
author = {Замов, Н.К.},
journal = {Issledovanija po prikladnoj matematike},
keywords = {deduction search; resolution method; ordering strategy; decision algorithm},
language = {rus},
number = {6},
pages = {68-74},
publisher = {Izd. Kazanskogo universiteta},
title = {Об одной модификации талтики с упорядочиванием в методе резолюций},
url = {http://eudml.org/doc/68933},
volume = {3},
year = {1988},
}
TY - JOUR
AU - Замов, Н.К.
TI - Об одной модификации талтики с упорядочиванием в методе резолюций
JO - Issledovanija po prikladnoj matematike
PY - 1988
PB - Izd. Kazanskogo universiteta
VL - 3
IS - 6
SP - 68
EP - 74
LA - rus
KW - deduction search; resolution method; ordering strategy; decision algorithm
UR - http://eudml.org/doc/68933
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.