Eight annual IEEE symposium on logic in computer science proceedings, June 19-23, 1993, Montreal, Canada
| Corporate Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Los Alamitos
IEEE Computer Society Press
Calif..
|
| Subjects: |


