Вычислительные системы [Текст] : сб. науч. тр. [Вып.] 124 : Языки спецификаций и логическое программирование / АН СССР, Сиб. отд-ние, Ин-т математики ; редкол.: Косарев Ю. Г. [и др.] ; науч. ред. Ершов Ю. Л., Гончаров С. С. - Новосибирск : ИМ, 1988. - 147, [1] с. ; 21 см. - Библиогр. в конце ст.



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

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

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

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

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

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

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

Издательство: ИМ

Объем: 147, [1] с.

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

ББК: 32.973.202я54

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

2261796
 
Вычислительные системы [Текст] : сб. науч. тр. [Вып.] 124 : Языки спецификаций и логическое программирование / АН СССР, Сиб. отд-ние, Ин-т математики ; редкол.: Косарев Ю. Г. [и др.] ; науч. ред. Ершов Ю. Л., Гончаров С. С. - Новосибирск : ИМ, 1988. - 147, [1] с. ; 21 см. - Библиогр. в конце ст.
ББК 32.973.202я54
2261796-кх;
Находится: СОУНБ | Чтобы заказать это издание, а так же его копию, вам необходимо авторизоваться на нашем сайте.
№ Инвентарный
номер		 Сигла Статус Дата возврата
1 2261796 кх Доступна -