CSL ... : ... Workshop on Computer Science Logic.
Saved in:
| 企業作者: | |
|---|---|
| 格式: | Conference Proceeding |
| 語言: | English |
| 出版: |
Berlin :
Springer-Verlag,
1987-
|
| 叢編: | Lecture notes in computer science.
|
| 主題: |