Petrov Dmitrii Andreevich

Publications in Math-Net.Ru

1. Extraction of a maximal common sub-formula of predicate formulas for the solving of some artificial intelligence problems
   
   Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 13:3 (2017),  250–263