|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
International Congress of Mathematicians. Hyderabad, August 19-27, 2010. Abstractsсборник
- Год издания: 2010
- Место издания: Hindustan book agency
- Сборник тезисов
- Добавил в систему: Кузичев Александр Сергеевич
Статьи, опубликованные в сборнике
-
- 2010 Sequential two-level formalization of mathematical theories
- Kuzichev Alexander, Kuzicheva Karolina
- в сборнике International Congress of Mathematicians. Hyderabad, August 19-27, 2010. Abstracts, место издания Hindustan book agency, тезисы, с. 5