Упрощающие процедуры для типов данных, основанные на системах переписывания формул | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ануреев И. С.

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

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

1998

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

тип данных

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

процедура

Стр.:

43 с.

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

Библиогр.: c.43

Номер:

53

Карточка:

Б2.34.

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

Упрощающие процедуры для типов данных, основанные на системах переписывания формул-1998.-43 с.-(Препринт ИСИ СО РАН №53).
Библиогр.: c.43

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

ISI2 199