Вы здесь
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