Research Catalog
Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California /
- Title
- Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California / edited by Dextere Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with Special Interest Group on Automata and Computability Theory of the ACM, Association for Symbolic Logic, European Association for Theoretical Computer Science, with support from AT&T Bell Laboratories ... [et al.].
- Author
- Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)
- Publication
- Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
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 1995 | 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
- Kozen, Dexter, 1951-
- Description
- xiii, 518 p. : ill.; 28 cm.
- Alternative Title
- 1995 IEEE 10th Annual Symposium on Logic in Computer Science
- Subjects
- Note
- "IEEE catalog number 95CH35768"--T.p. verso.
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 0818670509 (pbk)
- 078032563X (case)
- 0780329996 (microfiche)
- Owning Institutions
- Princeton University Library