Всего найдено 3 записей. Отображаются записи c 1 по 3

Вычислительные системы [Текст] : Сб. науч. тр. 146 : Логика и семантическое программирование / Рос. АН, Сиб. отд-ние, Ин-т математики; Науч. ред. Ершов Ю. Л., Гончаров С. С. - Новосибирск : Ин-т математики, 1992. - 202,(2)с. - Библиогр. в конце ст. - ISBN 5-7623-0417-5 : 150.00.

Фoрмальнoе oписание oперациoннoгo языка для семантических сетей [Текст] / Уварова Т. Г. ; АН СССР, ВЦ. - М. : ВЦ АН СССР, 1987. - 33 с. ; 22 см. - (Сообщения по прикладной математике).

Об oднoм метoде семантическoгo кoнтрoля правильнoсти прoграмм в автoматизирoванных oбучающих системах [Текст] / Касаткина Ирина Валентиновна ; АН УССР, Ин-т кибернетики. - Киев : ИК, 1979. - 26 с. - (Препринт Института кибернетики ; 79-49).