|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Computer Science – Theory and Applications, 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedingsсборник
- Год издания: 2008
- Серия: Lecture Notes in Computer Science
- Том: 5010
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2008 Topological semantics of justification logic
- Artemov Sergei, Nogina Elena
- в сборнике Computer Science – Theory and Applications, 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 5010, с. 30-39 DOI