One approach to construction of effective algorithms for recognizing completeness in multivalued logics
Matematičeskie zametki, Tome 39 (1986) no. 5, pp. 766-775
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{MZM_1986_39_5_a14,
author = {N. R. Emel'yanov},
title = {One approach to construction of effective algorithms for recognizing completeness in multivalued logics},
journal = {Matemati\v{c}eskie zametki},
pages = {766--775},
year = {1986},
volume = {39},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_1986_39_5_a14/}
}
TY - JOUR AU - N. R. Emel'yanov TI - One approach to construction of effective algorithms for recognizing completeness in multivalued logics JO - Matematičeskie zametki PY - 1986 SP - 766 EP - 775 VL - 39 IS - 5 UR - http://geodesic.mathdoc.fr/item/MZM_1986_39_5_a14/ LA - ru ID - MZM_1986_39_5_a14 ER -
N. R. Emel'yanov. One approach to construction of effective algorithms for recognizing completeness in multivalued logics. Matematičeskie zametki, Tome 39 (1986) no. 5, pp. 766-775. http://geodesic.mathdoc.fr/item/MZM_1986_39_5_a14/