Proceedings= 8th Annual IEEE Symposium on Logic in Computer Science= Eighth Annual IEEE Symposium on Logic in Computer Science= Logic in computer science : Eighth Annual IEEE Symposium on Logic in Computer Science/
| Corporate Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Logic in computer science Los Alamitos, Calif.:
IEEE Computer Society Press,
c1993
|
| Subjects: |
| Item Description: | 'IEEE Computer Society Press order number 3140-02'--T.p. verso. Includes bibliographical references and index. |
|---|---|
| Physical Description: | xii, 434 p. : ill. ; 28 cm. |
| ISBN: | 0818631406 0818631414 0818631422 |