Research Catalog
Proceedings /
- Title
- Proceedings / Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 ; sponsored by the 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 (1986 : Cambridge, Mass.)
- Publication
- Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
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 1986 | 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
- xi, 383 p. : ill.; 28 cm.
- Alternative Title
- Logic in computer science.
- Subjects
- Note
- "IEEE Computer Society order number 720."
- "IEEE catalog number 86CH23218."
- Bibliography (note)
- Includes bibliographies and index.
- ISBN
- 0818607203 (pbk.)
- 0818687207 (hard)
- 0818647205 (microfiche)
- LCCN
- 86081090
- Owning Institutions
- Princeton University Library