Знайдено документів: 1
Братусь Александр Васильевич. Система индуктивного вывода на основе модифицированного GUHA-метода
: :
спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем :
дата захисту 1996-12-20; Статус: Захищена;
Научно-учебный центр прикладной информатики НАН Украины. – , 0497U000322.
Знайдено документів: 1
Оновлено: 2026-03-20
