A Simple Approach to Finding the Cause of Non-unifiability

Вы здесь

Автор:

Port G. S.

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

Вид:

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

Год:

1988

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

унификация

алгоритм

Стр.:

P.651-665

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

Bibliogr.: p.664-665

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

Cambridge

Источник:

Logic Programming: Proc./Fifth Intern. Conf. and Symp.

Том:

Карточка:

В2.1.

Port G. S..

A Simple Approach to Finding the Cause of Non-unifiability-Cambridge.// Logic Programming: Proc./Fifth Intern. Conf. and Symp., 1988.-Vol. 1.-P.651-665
Bibliogr.: p.664-665

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

LOG1 139