This work doesn't have a description yet. Can you add one?
Subjects
| Edition | Availability |
|---|---|
|
1
Csl 87: 1st Workshop on Computer Science Logic (Lecture Notes in Computer Science)
September 1988, Springer
in English
0387502416 9780387502410
|
aaaa
|

