Ануреев, И.С. - Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types

Экспресс-заказ фрагмента
Ануреев, И.С.
Упрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types / И. С. Ануреев. - Новосибирск : ИСИ, 1998. - 43 с.; 21 см. - (Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 53).

Парал. загл.: Simplification procedures based on formula rewriting systems and intended for data types.
Алгоритмы - синтез
Шифр хранения:
FB 3 98-17/1769

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеУпрощающие процедуры для типов данных, основанные на системах переписывания формул = Simplification procedures based on formula rewriting systems and intended for data types
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 27.02.2002
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиИ. С. Ануреев
Выходные данныеНовосибирск : ИСИ, 1998
Физическое описание43 с.; 21 см
Серия(Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 53)
Термины-указателиАлгоритмы - синтез
Общие примечанияПарал. загл.: Simplification procedures based on formula rewriting systems and intended for data types.
ЯзыкРусский
Места храненияFB 3 98-17/1769