Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1973_212_5_a1, author = {V. V. Gimon}, title = {The dependence of the rules of deduction of the second stage in {Markov's} step-by-step semantic system}, journal = {Doklady Akademii Nauk}, pages = {1036--1038}, publisher = {mathdoc}, volume = {212}, number = {5}, year = {1973}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1973_212_5_a1/} }
TY - JOUR AU - V. V. Gimon TI - The dependence of the rules of deduction of the second stage in Markov's step-by-step semantic system JO - Doklady Akademii Nauk PY - 1973 SP - 1036 EP - 1038 VL - 212 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1973_212_5_a1/ LA - ru ID - DAN_1973_212_5_a1 ER -
V. V. Gimon. The dependence of the rules of deduction of the second stage in Markov's step-by-step semantic system. Doklady Akademii Nauk, Tome 212 (1973) no. 5, pp. 1036-1038. http://geodesic.mathdoc.fr/item/DAN_1973_212_5_a1/