|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Logic and Algebra (International Conference on Logic and Algebra)сборник
- Год издания: 1996
- Серия: Lecture Notes in Pure and Applied Mathematics
- Том: 180
- Место издания: CRC Press
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1996 Logic of proofs with complexity operators
- Artëmov Sergei, Chuprina Artem
- в сборнике Logic and Algebra (International Conference on Logic and Algebra), серия Lecture Notes in Pure and Applied Mathematics, место издания CRC Press, том 180, с. 1-24