Partial Deduction of the Ground Representation and its Application to Integrity Checking | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

дедукция

целостность

проверка

Стр.:

P.495-509.

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

Bibliogr.: p.507-509.

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

Источник:

Logic Programming: Proc. of the 1995 Intern. Symp.

Карточка:

Б3.21, В2.11.

Leuschel M., Martens B..

Partial Deduction of the Ground Representation and its Application to Integrity Checking-Cambridge.// Logic Programming: Proc. of the 1995 Intern. Symp., 1995.-P.495-509.
Bibliogr.: p.507-509.

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

LOG1 454