|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Proofs, categories and computationsсборник
- Год издания: 2010
- Серия: Tributes
- Том: 13
- Место издания: College Publications London
- Добавил в систему: Беклемишев Лев Дмитриевич
Статьи, опубликованные в сборнике
-
- 2010 On the Craig interpolation and the fixed point properties of GLP
- Beklemishev L.
- в сборнике Proofs, categories and computations, серия Tributes, место издания College Publications London, том 13, с. 49-60