TY  - JOUR
AU  - Petar Z. Hotomski
TI  - Sposob Vstroeniya Pravila Indukcii v Procedury Avtomaticheskogo Dokazatel'stva Teorem s Rezolyuciei
JO  - Publications de l'Institut Mathématique
PY  - 1983
SP  - 89 
VL  - _N_S_33
IS  - 47
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1983_N_S_33_47_a12/
LA  - en
ID  - PIM_1983_N_S_33_47_a12
ER  -