Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Vtorushin, Yurii Igorevich

https://www.mathnet.ru/eng/person156304
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
2021
1. Yu. I. Vtorushin, “Evidence algorithm for first-order logic with equality”, Intelligent systems. Theory and applications, 25:1 (2021),  21–28  mathnet
2020
2. Yu. I. Vtorushin, “About verification of formalized mathematical proofs”, Intelligent systems. Theory and applications, 24:1 (2020),  7–24  mathnet

Organisations
  • DSS Lab
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024