|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Computer Science Logic (CSL 2000), 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedingsсборник
- Год издания: 2000
- Серия: Lecture Notes in Computer Science
- Том: 1862
- Место издания: Springer Berlin
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2000 On the complexity of explicit modal logics
- Kuznets Roman
- в сборнике Computer Science Logic (CSL 2000), 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Berlin, том 1862, с. 371-383 DOI