Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Petrov, Dmitrii Andreevich E-mail: https://www.mathnet.ru/eng/person131605 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2017 1. T. M. Kosovskaya, D. A. Petrov, “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     7 Organisations Saint Petersburg State University