TY  - JOUR
AU  - T. M. Kosovskaya
AU  - D. A. Petrov
TI  - Extraction of a maximal common sub-formula of predicate formulas for the solving of some artificial intelligence problems
JO  - Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
PY  - 2017
SP  - 250
EP  - 263
VL  - 13
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VSPUI_2017_13_3_a2/
LA  - ru
ID  - VSPUI_2017_13_3_a2
ER  -