|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Logic, language, and computation. 8th International Tbilisi Symposium TbiLLC 2009сборник
- Год издания: 2011
- Серия: Lecture Notes in Computer Science
- Том: 6618
- Место издания: Springer Heidelberg
- Добавил в систему: Беклемишев Лев Дмитриевич
Статьи, опубликованные в сборнике
-
- 2011 Ordinal completeness of bimodal provability logic GLB
- Beklemishev L.
- в сборнике Logic, language, and computation. 8th International Tbilisi Symposium TbiLLC 2009, серия Lecture Notes in Computer Science, место издания Springer Heidelberg, том 6618, с. 1-15 DOI