Ануреев, И.С. - Теория систем переписывания формул

Ануреев, И.С.
Теория систем переписывания формул / И. С. Ануреев. - Новосибирск : ИСИ, 1998. - 35 с.; 20 см. - (Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 54).

(Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 54)
Парал. загл.: Formula renriting system theory.
Теорема - доказательство
Формулы (мат.)
Шифр хранения:
FB 3 98-17/2135

Marc21

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

Показать

Описание

Автор
ЗаглавиеТеория систем переписывания формул
Коллекции ЕЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК 27.02.2002
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиИ. С. Ануреев
Выходные данныеНовосибирск : ИСИ, 1998
Физическое описание35 с.; 20 см
Серия(Препринт. Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; 54)
ПримечаниеПарал. загл.: Formula renriting system theory.
ТемаТеорема - доказательство
Формулы (мат.)
ЯзыкРусский
Места храненияFB 3 98-17/2135