Querying Datalog Programs with Temporal Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

темпоральный

Стр.:

P.679-700.

Источник:

Acta Informatica

Номер:

7

Том:

30

Карточка:

Б2.13.

Tuzhilin A..

Querying Datalog Programs with Temporal Logic// Acta Informatica-1993, №7.-Vol. 30.-P.679-700.

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

PAP7 348