|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papersсборник
- Год издания: 1993
- Серия: Lecture Notes in Computer Science
- Том: 702
- Место издания: Springer
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1993 The basic logic of proofs
- Artëmov Sergei, Straßen Tyko
- в сборнике Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, серия Lecture Notes in Computer Science, место издания Springer, том 702, с. 14-28 DOI