Аушева, Н. и Шаповалова, С. 2022. ТЕХНОЛОГИИ РЕАЛИЗАЦИИ ЛОГИЧЕСКОГО ВЫВОДА В ПРОГРАММНЫХ КОМПЛЕКСАХ. Современные проблемы моделирования. 23 (май 2022), 11-20. DOI:https://doi.org/10.33842/2313-125X-2023-23-11-20.