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



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

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

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

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

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

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

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

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

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

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

ББК: 32.973.202я54

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

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