Computer science logic 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
| 団体著者: | |
|---|---|
| その他の著者: | , , |
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
Berlin
Springer-Verlag
c1994.
|
| シリーズ: | Lecture notes in computer science
832 |
| 主題: |