Geodesic
Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем
Publications de l'Institut Mathématique, _N_S_31 (1982) no. 45, p. 51 
Петар З. Хотомски. Правило Индукции В Доказательствах Опровержением С Применением К Автоматическому Доказательству Теорем. 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/
@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 },
     year = {1982},
     volume = {_N_S_31},
     number = {45},
     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
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
%U http://geodesic.mathdoc.fr/item/PIM_1982_N_S_31_45_a7/
%F PIM_1982_N_S_31_45_a7

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts