Переписываю ая машина и оптимизация стратегий переписывания термов | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Летичевский А. А.

Хоменко В. В.

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

1

Вид:

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

Год:

2002

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

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

алгебраический

программа

спецификация

оптимизация

Стр.:

С.3-17

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

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

Источник:

Кибернетика и системный анализ

Номер:

5

Карточка:

Б2.34, Б2.4.

Летичевский А. А., Хоменко В. В..

Переписываю ая машина и оптимизация стратегий переписывания термов// Кибернетика и системный анализ-2002, №5.-С.3-17
Библиогр.: c.17

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

PAP26 55