CSL ... : ... Workshop on Computer Science Logic.
保存先:
| 団体著者: | |
|---|---|
| フォーマット: | 会議録 |
| 言語: | English |
| 出版事項: |
Berlin :
Springer-Verlag,
1987-
|
| シリーズ: | Lecture notes in computer science.
|
| 主題: |