Birth date:
26.05.1999
E-mail: Keywords: Artificial Intelligence,
Mathematical Logic,
Theory of Algorithms,
Complexity Theory.
Subject:
PhD Student, Udmurt State University
Main publications:
M. Joudakizadeh, A. P. Bel'tyukov, “Two-level realization of logical formulas for deductive program synthesis”, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 34:4 (2024), 469-485
