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