Author Details

Stroeva, Ekaterina

  • Vol 12, No 6 (2024) - Theoretical Informatics and Computer Science
    Research and development of a formal verification algorithm and quality assessment metrics based on ANN dimensionality reduction methods
    Abstract  PDF (Russian)