Running Higher-Order Unification in PaiLisp

Вы здесь

Автор:

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

Вид:

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

Год:

1993

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

Стр.:

P.155-160.

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

Bibliogr.: p.160.

Источник:

Том:

748

Карточка:

Б4.23, В2.11.

Hagiya M..

Running Higher-Order Unification in PaiLisp// Lecture Notes in Computer Science-1993.-Vol. 748.-P.155-160.
Bibliogr.: p.160.

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

PAP7 741