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: |
| Physical Description: | xvii, 417 p. ; 29 cm. |
|---|---|
| Bibliography: | Includes index and bibliographical references |
| ISBN: | 081862230Χ 0818622318 0818622326 |