A853618-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 148 : Логические методы в информатике. - 1993. - 176 с. : ил. - Библиогр. - ISBN 5-7623-0675-5 : 1000.00 р.
Рубрики: вычислительная техника--ЭВМ Кл.слова (ненормированные): логическое программирование -- операционная семантика -- денотационная семантика -- семантическое программирование -- искусственный интеллект -- экспертные системы Экземпляры всего: 1 ОХФ (1) |