|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Computer Science Logic, 17th International Workshop, CSL 2003, Vienna, Austria, August 25-30, 2003, Proceedingsсборник
- Год издания: 2003
- Серия: Lecture Notes in Computer Science
- Том: 2803
- Место издания: Springer
- Сборник тезисов
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2003 Back to the future: Explicit logic for computer science
- Artemov Sergei
- в сборнике Computer Science Logic, 17th International Workshop, CSL 2003, Vienna, Austria, August 25-30, 2003, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2803, тезисы, с. 43 DOI