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