Ponomarev Grigorii Markovich

Publications in Math-Net.Ru

1. Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
   
   Trudy Inst. Mat. i Mekh. UrO RAN, 17:2 (2011),  35–52