Vtorushin Yurii Igorevich

Publications in Math-Net.Ru

1. Evidence algorithm for first-order logic with equality
   
   Intelligent systems. Theory and applications, 25:1 (2021),  21–28
2. About verification of formalized mathematical proofs
   
   Intelligent systems. Theory and applications, 24:1 (2020),  7–24