CSL ... : ... Workshop on Computer Science Logic.
Đã lưu trong:
Tác giả của công ty: | |
---|---|
Định dạng: | Hội nghị đang tiến hành |
Ngôn ngữ: | English |
Được phát hành: |
Berlin :
Springer-Verlag,
1987-
|
Loạt: | Lecture notes in computer science.
|
Những chủ đề: |