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

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

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

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

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

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

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

Издательство: [б. и.]

Объем: 175с.

ISBN: 5-7623-0675-5

Ключевые слова: Вычислительные системы

ББК: 32.973.202я54

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