|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Algorithmic aspects of propositional tense logicsстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 9 июня 2015 г.
- Авторы: Chagrov Alexander, Shehtman Valentin
- Сборник: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers
- Серия: Lecture Notes in Computer Science
- Том: 933
- Год издания: 1995
- Место издания: Springer
- Первая страница: 442
- Последняя страница: 455
- DOI: 10.1007/BFb0022274
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 1999_Chagrov_Shehtman_CSL_LNCS.pdf | 638,5 КБ | 15 февраля 2016 [ezolin] |