2 options
Proceedings / Symposium on Logic in Computer Science.
LIBRA QA76.6 .S91935 1988-1989; 5th (1990)-9th (1994), 11th (1996)-15th (2000)
Available from offsite location
LIBRA 1986, 1987
Available from offsite location
- Format:
- Conference/Event
- Journal/Periodical
- Conference Name:
- Symposium on Logic in Computer Science.
- Language:
- English
- Subjects (All):
- Electronic data processing--Congresses.
- Electronic data processing.
- Computer programming--Congresses.
- Computer programming.
- Logic, Symbolic and mathematical--Congresses.
- Logic, Symbolic and mathematical.
- Computer programs--Correctness--Congresses.
- Computer programs.
- Computer programs--Correctness.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- volumes : illustrations ; 28 cm
- Annual
- [1st] (June 16-18, 1986)-
- Other Title:
- Logic in computer science
- LICS
- Place of Publication:
- Washington, D.C. : IEEE Computer Society Press, c1986-
- Notes:
- Published: Los Alamitos, CA, 1990-
- Latest issue consulted: 21st (Aug. 12-15, 2006).
- Sponsored by: the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science, 1986-<1998>; by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, <1999->.
- ISSN:
- 1043-6871
- OCLC:
- 14153294
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.