2 options
21st Annual IEEE Symposium on Logic in Computer Science. LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; with support from Cadence ... [and others].
- Format:
- Book
- Conference/Event
- Conference Name:
- Symposium on Logic in Computer Science (21st : 2006 : Seattle, Wash.)
- 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, 431 pages : illustrations
- Other Title:
- LICS 2006
- IEEE Symposium on Logic in Computer Science
- Logic in Computer Science
- Twenty-first Annual IEEE Symposium on Logic in Computer Science
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2006]
- System Details:
- Mode of access: World Wide Web.
- text file
- Notes:
- "IEEE Computer Society Order Number P2631"--T.p. verso.
- Includes bibliographical references and author index.
- ISBN:
- 0769526314
- 9780769526317
- OCLC:
- 71212294
- 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.