Comparison of Simplification Orderings

Вы здесь

Автор:

Steinbach J.

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

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1988

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

система переписывания термов

Стр.:

34 p.

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

Bibliogr.: p.31-33

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

Kaiserslautern

Серия:

Lecture Notes in Artificial Intelligence

Номер:

SR-88-02

Карточка:

Б2.2, Б2.3.

Steinbach J..

Comparison of Simplification Orderings-Kaiserslautern., 1988.-34 p.-(Препринт Univ. Kaiserslautern №SR-88-02).-(Lecture Notes in Artificial Intelligence).
Bibliogr.: p.31-33

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

PREP2 513