С. Д. АННАМАММЕДОВ; Р. А. АННАМЫРАДОВ. ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ И ОПТИМИЗАЦИЯ ЛОГИЧЕСКИХ ПРОГРАММ В СИСТЕМАХ АВТОМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА ТЕОРЕМ. ОБРАЗОВАНИЕ И НАУКА В XXI ВЕКЕ, [S. l.], n. 69-1 (том 3), 2025. Disponível em: https://mpcareer-google.ru/index.php/journal/article/view/4419.. Acesso em: 30 jun. 2026.