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