Research Catalog
Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science : June 29-July 2, 1997, Warsaw, Poland /
- Title
- Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science : June 29-July 2, 1997, Warsaw, Poland / organized by Warsaw University ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, IEEE Computer Society ; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, the Association for Symbolic Logic, the European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et al.].
- Author
- Symposium on Logic in Computer Science (12th : 1997 : Warsaw, Poland)
- Publication
- Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
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 1997 | 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
- xiv, 447 p. : ill.; 28 cm.
- Alternative Title
- 12th Annual IEEE Symposium on Logic in Computer Science
- 1997 IEEE 12th Annual Symposium on Logic in Computer Science
- Subjects
- Note
- "IEEE catalog number 97CB36092"--T.p. verso.
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 0818679255
- 0818679263
- Owning Institutions
- Princeton University Library