Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Los Alamitos California
IEEE Computer Society Press
c1996
|
| Subjects: |
ΒΚΠ - Πατρα: ALFf
| Call Number: |
005.131 LOG |
|---|---|
| Copy 1 | Available |
