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