Вы здесь
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
Вид:
Статья из сборника или журнала
Год:
1992
Ключевые слова:
Стр.:
P.24-44.
Библиография:
Bibliogr.: p.43-44.
Издательство:
Источник:
Том:
660
Карточка:
В2.11.
Satoh K., Iwayama N..
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints: Springer// Lecture Notes in Artificial Intelligence-1992.-Vol. 660.-P.24-44.
Bibliogr.: p.43-44.
Таблица в старой библиотеке:
PAP5 591