|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedingsсборник
- Год издания: 1993
- Серия: Lecture Notes in Computer Science
- Том: 713
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1993 The logic of the Gödel proof predicate
- Artëmov Sergei, Straßen Tyko
- в сборнике Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 713, с. 71-82 DOI