Основное заглавие: Вычислительные системы

Сведения, относящ. к заглавию: Сб. науч. тр.

Ответственность: Рос. АН, Сиб. отд-ние, Ин-т математики; Науч. ред. Ершов Ю. Л., Гончаров С. С.

Физический носитель: Текст

Название части / раздела: Логика и семантическое программирование

Год публикации: 1992

Место издания: Новосибирск

Издательство: Ин-т математики

Объем: 202,(2)с.

ISBN: 5-7623-0417-5

Ключевые слова: Вычислительные системы; Логика; Семантическое программирование;

ББК: 32.973.202я54

Библиография: Библиогр. в конце ст.