Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

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

спецификация

иерархический

декомпозиция

Стр.:

P.48-66.

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

Bibliogr.: p.65-66.

Издательство:

Источник:

Lecture Notes in Artificial Intelligence

Том:

827

Карточка:

Б2.13, В2.11.

Fiadeiro J. L., Mailbaum T..

Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects: Springer// Lecture Notes in Artificial Intelligence-1994.-Vol. 827.-P.48-66.
Bibliogr.: p.65-66.

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

PAP9 111