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