Ануреев, И.С. - Упрощающие процедуры для типов данных, основанные на системах переписывания формул = 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.
Алгоритмы - синтез
Шифр хранения:
Упрощающие процедуры для типов данных, основанные на системах переписывания формул = 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
Описание
Автор | Ануреев, И.С. |
---|---|
Заглавие | Упрощающие процедуры для типов данных, основанные на системах переписывания формул = 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 |