TY  - JOUR
AU  - S. N. Vassilyev
AU  - G. M. Ponomarev
TI  - Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
JO  - Trudy Instituta matematiki i mehaniki
PY  - 2011
SP  - 35
EP  - 52
VL  - 17
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/TIMM_2011_17_2_a3/
LA  - ru
ID  - TIMM_2011_17_2_a3
ER  -