A Predicate Transformer for Unification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

предикатный

унификация

Стр.:

P.67-81

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

Bibliogr.: p.81

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

Издательство:

Источник:

Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming

Карточка:

В2.11, Б3.22.

Colussi L., Marchiori E..

A Predicate Transformer for Unification-Cambridge.: The MIT Press// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.67-81
Bibliogr.: p.81

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

LOG1 262