|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Turing’s Revolution. Part IIсборник
- Год издания: 2015
- Коллективная монография
- Место издания: Springer
- Добавил в систему: Беклемишев Лев Дмитриевич
Статьи, опубликованные в сборнике
-
- 2015 Proof theoretic analysis by iterated reflection
- Beklemishev L.D.
- в сборнике Turing’s Revolution. Part II, место издания Springer, с. 225-270 DOI