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

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

Парал. загл.: Formula renriting system theory.
Теорема - доказательство
Формулы (мат.)
Шифр хранения:
FB 3 98-17/2135

Marc21

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

Показать

Описание

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