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