Библиографическое описание: Солтан, А. А. Автоматизация решения задач математической логики / А. А. Солтан. — Текст : непосредственный // Молодой ученый. — 2024. — № 24 (523). — С. 102-109. — URL: https://moluch.ru/archive/523/115497/ (дата обращения: 07.02.2025).
