A Model Calculus of Partially Ordered Events in a Logic Programming Framework | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

логическое программирование

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

рассуждение

Стр.:

P.299-313.

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

Bibliogr.: p.313

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

Источник:

Logic Programming: Proc. of the Twelfth Intern. Conf.

Карточка:

В2.11.

Cervesato I., Chittaro L., Montanari A..

A Model Calculus of Partially Ordered Events in a Logic Programming Framework-Cambridge.// Logic Programming: Proc. of the Twelfth Intern. Conf., 1995.-P.299-313.
Bibliogr.: p.313

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

LOG1 470