1 option
Proceedings / Symposium on Logic in Computer Science.
- 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:
- Periodicals.
- Conference papers and proceedings.
- Physical Description:
- Annual
- Began with [1st] (June 16-18, 1986).
- Other Title:
- Logic in computer science
- LICS
- Place of Publication:
- Washington, D.C. : IEEE Computer Society Press, ©1986-
- Notes:
- Published: Los Alamitos, CA, 1990-
- 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->.
- Description based on print version record.
- Latest issue consulted: 21st (Aug. 12-15, 2006).
- Constituent Unit:
- Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
- 2008 23rd Annual IEEE Symposium on Logic in Computer Science
- Proceedings 11th Annual IEEE Symposium on Logic in Computer Science
- Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science
- Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
- Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)
- Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)
- Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
- Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
- 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings
- Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004
- 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
- 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
- 10th Annual IEEE Symposium on Logic in Computer Science (LICS'95)
- 2009 24th Annual IEEE Symposium on Logic In Computer Science
- 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
- OCLC:
- 596437076
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.