An analysis of loop checking mechanisms for logic programs

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.35-79

Реферат:

Анализ механизмов проверки циклов для логических программ

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

Bibliogr.: p.78-79

Источник:

Номер:

Том:

Карточка:

Б2.2, Б3.21.

Bol R., Art K., Klop J..

An analysis of loop checking mechanisms for logic programs// Theoretical Computer Science-1991, №1.-Vol. 86.-P.35-79
Bibliogr.: p.78-79

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

PAP2 650