2 options
Proceedings. 20th annual IEEE Symposium on Logic in Computer Science, LICS 2005, 26-29 June 2005, Chicago, Illinois / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Forall Systems, IBM.
Connect to full text Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- Symposium on Logic in Computer Science (20th : 2005 : Chicago, Ill.)
- Language:
- English
- Subjects (All):
- Computer science--Mathematics--Congresses.
- Computer science.
- Computer science--Mathematics.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xiii, 477 pages : illustrations
- Other Title:
- LICS 2005
- Logic in computer science
- 20th annual IEEE Symposium on Logic in Computer Science
- Logic in Computer Science, 2005, LICS 2005, proceedings, 20th Annual IEEE Symposium on.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2005]
- System Details:
- Mode of access: World Wide Web.
- text file
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 0769522661
- 9780769522661
- OCLC:
- 61174157
- 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.