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  -