Вы здесь

Reasoning with Pemporal Logic on Truncated Paths

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Ключевые слова: 
Стр.: 
P.27-39
Библиография: 
Bibliogr.: p.38-39
Издательство: 
Том: 
2725
Карточка: 

Б2.23, Б2.14.

Eisner C., Fishman D., Havlicek J., Lustig Y..

Reasoning with Pemporal Logic on Truncated Paths: Springer// Lecture Notes in Computer Science-2003.-Vol. 2725.-P.27-39
Bibliogr.: p.38-39

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