An algorithm for the solution of a system of logical equations
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 2 (1962) no. 1, pp. 186-189
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ZVMMF_1962_2_1_a23,
author = {Yu. G. Grigor'yan},
title = {An algorithm for the solution of a system of logical equations},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {186--189},
publisher = {mathdoc},
volume = {2},
number = {1},
year = {1962},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_1962_2_1_a23/}
}
TY - JOUR AU - Yu. G. Grigor'yan TI - An algorithm for the solution of a system of logical equations JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 1962 SP - 186 EP - 189 VL - 2 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZVMMF_1962_2_1_a23/ LA - ru ID - ZVMMF_1962_2_1_a23 ER -
Yu. G. Grigor'yan. An algorithm for the solution of a system of logical equations. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 2 (1962) no. 1, pp. 186-189. http://geodesic.mathdoc.fr/item/ZVMMF_1962_2_1_a23/