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

Парал. тит. л. англ.
Математическая логика -- Логические исчисления -- Методы
Шифр хранения:
FB 3 98-17/1769-4

Marc21

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

Показать

Описание

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