Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part 2, Tome 121 (1972), pp. 5-13
Citer cet article
N. K. Zamov. The restriction of the complexity of terms in the resolution method. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part 2, Tome 121 (1972), pp. 5-13. http://geodesic.mathdoc.fr/item/TM_1972_121_a1/
@article{TM_1972_121_a1,
author = {N. K. Zamov},
title = {The restriction of the complexity of terms in the resolution method},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {5--13},
year = {1972},
volume = {121},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1972_121_a1/}
}
TY - JOUR
AU - N. K. Zamov
TI - The restriction of the complexity of terms in the resolution method
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1972
SP - 5
EP - 13
VL - 121
UR - http://geodesic.mathdoc.fr/item/TM_1972_121_a1/
LA - ru
ID - TM_1972_121_a1
ER -
%0 Journal Article
%A N. K. Zamov
%T The restriction of the complexity of terms in the resolution method
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1972
%P 5-13
%V 121
%U http://geodesic.mathdoc.fr/item/TM_1972_121_a1/
%G ru
%F TM_1972_121_a1
