Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
@article{PIM_1982_N_S_31_45_a7,
author = {{\CYRP}{\cyre}{\cyrt}{\cyra}{\cyrr} {\CYRZ}. {\CYRH}{\cyro}{\cyrt}{\cyro}{\cyrm}{\cyrs}{\cyrk}{\cyri}},
title = {{\CYRP}{\cyrr}{\cyra}{\cyrv}{\cyri}{\cyrl}{\cyro} {{\CYRI}{\cyrn}{\cyrd}{\cyru}{\cyrk}{\cyrc}{\cyri}{\cyri}} {{\CYRV}} {{\CYRD}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyra}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrs}{\cyrt}{\cyrv}{\cyra}{\cyrh}} {{\CYRO}{\cyrp}{\cyrr}{\cyro}{\cyrv}{\cyre}{\cyrr}{\cyrzh}{\cyre}{\cyrn}{\cyri}{\cyre}{\cyrm}} {{\CYRS}} {{\CYRP}{\cyrr}{\cyri}{\cyrm}{\cyre}{\cyrn}{\cyre}{\cyrn}{\cyri}{\cyre}{\cyrm}} {{\CYRK}} {{\CYRA}{\cyrv}{\cyrt}{\cyro}{\cyrm}{\cyra}{\cyrt}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyro}{\cyrm}{\cyru}} {{\CYRD}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyra}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrs}{\cyrt}{\cyrv}{\cyru}} {{\CYRT}{\cyre}{\cyro}{\cyrr}{\cyre}{\cyrm}}},
journal = {Publications de l'Institut Math\'ematique},
pages = {51 },
publisher = {mathdoc},
volume = {_N_S_31},
number = {45},
year = {1982},
url = {http://geodesic.mathdoc.fr/item/PIM_1982_N_S_31_45_a7/}
}
TY - JOUR AU - Петар З. Хотомски TI - Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем JO - Publications de l'Institut Mathématique PY - 1982 SP - 51 VL - _N_S_31 IS - 45 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/PIM_1982_N_S_31_45_a7/ ID - PIM_1982_N_S_31_45_a7 ER -
%0 Journal Article %A Петар З. Хотомски %T Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем %J Publications de l'Institut Mathématique %D 1982 %P 51 %V _N_S_31 %N 45 %I mathdoc %U http://geodesic.mathdoc.fr/item/PIM_1982_N_S_31_45_a7/ %F PIM_1982_N_S_31_45_a7
Петар З. Хотомски. Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем. Publications de l'Institut Mathématique, _N_S_31 (1982) no. 45, p. 51 . http://geodesic.mathdoc.fr/item/PIM_1982_N_S_31_45_a7/