2 options
Logic in computer science. proceedings : 16th Annual IEEE Symposium on Logic in Computer Science : 16-19 June, 2001, Boston, Massachusetts / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Format:
- Book
- Conference/Event
- Conference Name:
- Symposium on Logic in Computer Science (16th : 2001 : Boston, Mass.)
- 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:
- xii, 441 pages : illustrations
- Other Title:
- 16th Annual IEEE Symposium on Logic in Computer Science
- LICS 2001
- Logic in Computer Science, 2001, proceedings, 16th Annual IEEE Symposium on.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2001]
- System Details:
- Mode of access: World Wide Web.
- text file
- Notes:
- "IEEE Computer Society Order Number PR01218"--T.p. verso.
- Includes bibliographical references and author index.
- ISBN:
- 076951281X
- 9780769512815
- OCLC:
- 47263242
- 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.