SLDNFA: an Abductive Procedure for Normal Abductive Programs

Вы здесь

Автор:

Denecker M.

De Scherye D.

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

Вид:

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

Год:

1992

Стр.:

P.686-700

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

Bibliogr.: p.699-700

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

Cambridge

Источник:

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

Карточка:

Б2.13, В2.11.

Denecker M., De Scherye D..

SLDNFA: an Abductive Procedure for Normal Abductive Programs-Cambridge.// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.686-700
Bibliogr.: p.699-700

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

LOG1 301