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