Знайдено 1 документів
Дисертація кандидатська
Самофалов Павло Леонідович. Методи застосування таблиць рішень у системах формального виводу і програмних комплексах : к.т.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : захищена 2001-05-30; . Харківський державний технічний університет радіоелектроніки. – , 0401U001986.
Знайдено 1 документів

Оновлено: 2024-06-25