|
|
РА314153
Самофалов, Павло Леонідович.
Методи застосування таблиць рішень у системах формального виводу і програмних комплексах [Текст] : автореф. дис... канд. техн. наук: 01.05.03 / Самофалов Павло Леонідович ; Харківський держ. технічний ун-т радіоелектроніки. - Х., 2001. - 19 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський державний технічний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
|