Unification in Conditional - Equational Theories | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1985

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

унификация

алгоритм

Стр.:

28 p.

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

Номер:

MIP-8502

Карточка:

В2.11.

Hussmann H..

Unification in Conditional - Equational Theories-Passau., 1985.-28 p.-(Препринт Univ.Passau №MIP-8502).

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

PREP1 259