2 options
Proceedings. Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA.
Connect to full text Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- Symposium on Logic in Computer Science (9th : 1994 : Paris, France)
- 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, 517 pages : illustrations
- Other Title:
- Logic in computer science
- LICS '94
- 1994 IEEE 9th Annual Symposium on Logic in Computer Science
- Logic in Computer Science, 1994, LICS '94, proceedings, Symposium on.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society Press, [1994]
- System Details:
- Mode of access: World Wide Web.
- text file
- Notes:
- "IEEE catalog number 94CH3464-5"--T.p. verso.
- "IEEE Computer Society Press order number 6310-02"--T.p. verso.
- Includes bibliographical references and index.
- ISBN:
- 081866312X
- 9780818663123
- OCLC:
- 30820204
- 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.