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