Research Catalog
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science : June 22-25, 1992, Santa Cruz, California /
- Title
- Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science : June 22-25, 1992, Santa Cruz, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science.
- Author
- Symposium on Logic in Computer Science (7th : 1992 : Santa Cruz, Calif.)
- Publication
- Los Alamitos, Calif. : IEEE Computer Society Press, c1992.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA75.5 .S9813 1992 | Off-site |
Details
- Additional Authors
- ACM Special Interest Group for Automata and Computability Theory. http://id.loc.gov/authorities/names/n79018778
- Association for Symbolic Logic. http://id.loc.gov/authorities/names/n50054564
- European Association for Theoretical Computer Science. http://id.loc.gov/authorities/names/n81058302
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing. http://id.loc.gov/authorities/names/n79018777
- Description
- xiii, 471 p. : ill.; 28 cm.
- Alternative Title
- 1992 IEEE 7th Annual Symposium on Logic in Computer Science.
- Logic in computer science.
- Subjects
- Note
- "IEEE Computer Society Press order number 2735"--T.p. verso.
- "IEEE catalog number 92CH3127-8"--T.p. verso.
- Cover and spine title: 1992 IEEE 7th Annual Symposium on Logic in Computer Science.
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 0818627352 (pbk)
- 0818627379 (case)
- LCCN
- 91078307
- Owning Institutions
- Princeton University Library