|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papersсборник
- Год издания: 1995
- Серия: Lecture Notes in Computer Science
- Том: 933
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1995 Algorithmic aspects of propositional tense logics
- 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, место издания Springer, том 933, с. 442-455 DOI