С. Д. Аннамаммедов, Р. А. Аннамырадов. ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ И ОПТИМИЗАЦИЯ ЛОГИЧЕСКИХ ПРОГРАММ В СИСТЕМАХ АВТОМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА ТЕОРЕМ. ОНДВ [Internet]. 2025 Dec. 18 [cited 2026 Jun. 30];(69-1 (том 3). Available from: https://mpcareer-google.ru/index.php/journal/article/view/4419