2 options
Proceedings / Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland ; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing.
Connect to full text Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- Symposium on Logic in Computer Science (3rd : 1988 : Edinburgh, Scotland)
- 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:
- xi, 436 pages : illustrations
- Other Title:
- Logic in computer science.
- Place of Publication:
- Washington, D.C. : Computer Society Press, [1988]
- System Details:
- Mode of access: World Wide Web.
- text file
- Notes:
- "Computer Society order number 853."
- "IEEE catalog number 88CH2608-8."
- Includes bibliographies and index.
- ISBN:
- 0818608536
- 9780818608537
- 0818648538
- 9780818648533
- 081868853X
- 9780818688539
- OCLC:
- 18501494
- 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.