Вы здесь

Synchronized Histories in Prior-Thomason Representation of Branching Time

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.265-282.
Библиография: 
Bibliogr.: p.281-282.
Том: 
827
Карточка: 

Б4.41, Б2.13.

Di Maio M. C., Zanardo A..

Synchronized Histories in Prior-Thomason Representation of Branching Time// Lecture Notes in Artificial Intelligence-1994.-Vol. 827.-P.265-282.
Bibliogr.: p.281-282.

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