Vademecum of Divergent Term Rewriting Systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

1990

Стр.:

P.148-164.

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

Bibliogr.: p.161-164

Источник:

Номер:

70

Карточка:

Б2.34.

Hermann M..

Vademecum of Divergent Term Rewriting Systems// BIGRE-1990, №70.-P.148-164.
Bibliogr.: p.161-164

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

PAP1 215