Research Catalog
Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science : July 27-30, 1996, New Brunswick, New Jersey /
- Title
- Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science : July 27-30, 1996, New Brunswick, New Jersey / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, the Association for Symbolic Logic, the European Association for Theoretical Computer Science ; with support from AT&T Research, Bell Laboratories--Lucent Technologies DIMACS, IBM Almaden Research Center.
- Author
- Symposium on Logic in Computer Science (11th : 1996 : New Brunswick, N.J.)
- Publication
- Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
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 1996 | 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
- xv, 535 p. : ill.; 28 cm.
- Alternative Title
- 11th Annual IEEE Symposium on Logic in Computer Science
- 1996 IEEE 11th Annual Symposium on Logic in Computer Science
- Subjects
- Note
- "IEEE catalog number 96CH35952"--T.p. verso.
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 0818674636 (softbound)
- 0780336542 (casebound)
- 0780336550 (microfiche)
- Owning Institutions
- Princeton University Library