Теория систем переписывания формул | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ануреев И. С.

Количество экземпляров:

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

1998

Ключевые слова:

переписывание

корректность

Стр.:

35 с.

Библиография:

Библиогр.: c.32-35

Место издания:

Новосибирск

Номер:

54

Карточка:

Б2.34.

Ануреев И. С..

Теория систем переписывания формул-Новосибирск., 1998.-35 с.-(Препринт ИСИ СО РАН №54).
Библиогр.: c.32-35

Таблица в старой библиотеке:

ISI2 200