|
Р80100 Королев, Виталий Геннадьевич. Выявление логических механизмов дедуктивного вывода, реализуемых операциями языка SCL [Текст] / В. Г. Королев. - Минск : [б.в.], 1995. - 61 с. - (Препр. / АН Беларуси, Институт технической кибернетики ; 14)Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: АН Беларуси; Институт технической кибернетики
Видання зберігається у :
Основний фонд
|
|