Proceedings : sixth annual IEEE Symposium on Logic in Computer Science: Amsterdam, The Netherlands, July 15-18, 1991
| Corporate Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Washington :
IEEE Computer Society Press,
c1991
|
| Subjects: |