Higher Order Unification via Explicit Substations

Вы здесь

Автор:

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

Колл. автор:

Вид:

Препринт

Год:

1995

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

Стр.:

42 p.

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

Bibliogr.: p.40-42

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

Номер:

2709

Карточка:

В2.11, Б2.14.

Dowek G., Hardin T., Kirchner C..

Higher Order Unification via Explicit Substations-Le Chesnay., 1995.-42 p.-(Препринт INRIA №2709).
Bibliogr.: p.40-42

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

PREP2 493