Efficient Tabling Mechanisms for Logic Program

Вы здесь

Автор:

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

Вид:

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

Год:

1995

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

Стр.:

P.697-711.

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

Bibliogr.: p.711

Источник:

Карточка:

Б3.2, Б3.5, Б5.1.

Ramakrishnan I. V., Rao P., Sagonas K., Swift T., Warren D. S..

Efficient Tabling Mechanisms for Logic Program// Logic Programming: Proc. of the Twelfth Intern. Conf.-1995.-P.697-711.
Bibliogr.: p.711

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

LOG1 494