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: |