2 options
Twenty-third Annual IEEE Symposium on Logic in Computer Science : proceedings, 24-27 June 2008, Pittsburgh, Pennsylvania / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
IEEE Xplore (IEEE/IET Electronic Library - IEL) Available online
IEEE Xplore (IEEE/IET Electronic Library - IEL)- Format:
- Book
- Conference/Event
- Conference Name:
- Symposium on Logic in Computer Science (23rd : 2008 : Pittsburgh, Pa.)
- Language:
- English
- Subjects (All):
- Computer science--Mathematics--Congresses.
- Computer science--Mathematics.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- 1 online resource (xiv, 510 pages) : illustrations
- Other Title:
- IEEE Symposium on Logic in Computer Science
- Logic in Computer Science
- LICS 2008
- 23rd Annual IEEE Symposium on Logic in Computer Science
- Available from some providers with title: Logic in Computer Science, 2008, LICS '08, 23rd Annual IEEE Symposium on
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2008]
- System Details:
- text file
- Notes:
- "IEEE Computer Society Order Number P3183"--Title page verso.
- Includes bibliographical references and author index.
- Print version record.
- Other Format:
- Print version: Symposium on Logic in Computer Science (23rd : 2008 : Pittsburgh, Pa.). Twenty-third Annual IEEE Symposium on Logic in Computer Science.
- OCLC:
- 265436999
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.