|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthdayсборник
- Год издания: 2008
- Серия: Lecture Notes in Computer Science
- Том: 4800
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2008 Symmetric logic of proofs
- Artemov Sergei
- в сборнике Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, серия Lecture Notes in Computer Science, место издания Springer, том 4800, с. 58-71 DOI