A Termination Test for Logic Programs

Вы здесь

Автор:

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

Вид:

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

Год:

1991

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

Стр.:

P.518-532

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

Bibliogr.: p.531-532

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

Источник:

Карточка:

Б3.14.

Sagiv Y..

A Termination Test for Logic Programs-Cambridge.// Logic Programming: Proc./1991 Intern. Symp., 1991.-P.518-532
Bibliogr.: p.531-532

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

LOG1 343