Get started
Author

A.P. Beltiukov

Observed name: Anatoly Petrovich Beltiukov
Observed institution: Udmurt State University
ORCID: 0000-0002-3433-9067
Observed ORCID: 0000-0002-3433-9067
OpenAlex ID: A5072851181
Two-level realization of logical formulas for deductive program synthesis
2024 · M. Joudakizadeh, A.P. Beltiukov · Vestnik Udmurtskogo Universiteta Matematika Mekhanika Komp yuternye Nauki · 1
PDF
Adaptive human–machine theorem proving system
2024 · M. Joudakizadeh, A.P. Beltiukov · Izvestiya Instituta Matematiki i Informatiki Udmurt Gos Univ · 1
Programming in grammars
2025 · M. Joudakizadeh, A.P. Beltiukov · Vestnik Udmurtskogo Universiteta Matematika Mekhanika Komp yuternye Nauki
PDF
Complexity of Computations with Time Travel
2025 · Anatoly Petrovich Beltiukov, Milad Joudakizadeh · Program systems theory and applications
Синтез управления когнитивно-конструктивными процессами в человеко-технико-природных системах
2022 · A.P. Beltiukov, S.G. Maslov · Modelirovanie, optimizaciâ i informacionnye tehnologii.
PDF
About problems of readers and the process of reading in the electronic environment
2010 · A.P. Beltiukov, S.G. Maslov · Vestnik Udmurtskogo Universiteta Matematika Mekhanika Komp yuternye Nauki
PDF
Works count: 6
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type