Coverart for item
The Resource Proceedings, Symposium on Logic in Computer Science, (electronic resource)

Proceedings, Symposium on Logic in Computer Science, (electronic resource)

Label
Proceedings
Title
Proceedings
Statement of responsibility
Symposium on Logic in Computer Science
Title variation
  • Logic in computer science
  • LICS
Creator
Contributor
Subject
Genre
Action
digitized
Cataloging source
OCLCE
Dewey number
004/.01/5113
LC call number
QA75.5
LC item number
.S9574a
http://bibfra.me/vocab/lite/meetingName
Symposium on Logic in Computer Science
http://library.link/vocab/relatedWorkOrContributorName
  • IEEE Computer Society
  • Association for Symbolic Logic
  • ACM Special Interest Group for Automata and Computability Theory
  • European Association for Theoretical Computer Science
http://library.link/vocab/subjectName
  • Electronic data processing
  • Computer programming
  • Logic, Symbolic and mathematical
  • Computer programs
  • Computer programming
  • Electronic data processing
  • Logica
  • Logic, Symbolic and mathematical
  • Informatica
  • Computer programs
Label
Proceedings, Symposium on Logic in Computer Science, (electronic resource)
Instantiates
Publication
Note
Published: Los Alamitos, CA, 1990-
Abbreviated title
Proc. - Symp. Logic Comput. Sci.
Control code
OCM1ssj0002640
Governing access note
Access is limited to authorized users and institutions
Issn
2575-5528
Issuing body
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->.
Key title
Proceedings - Symposium on Logic in Computer Science
Lccn
2017202957
Publication designation
Began with [1st] (June 16-18, 1986).
Publication frequency
Annual
System control number
(WaSeSS)ssj0002640
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
Proceedings, Symposium on Logic in Computer Science, (electronic resource)
Publication
Note
Published: Los Alamitos, CA, 1990-
Abbreviated title
Proc. - Symp. Logic Comput. Sci.
Control code
OCM1ssj0002640
Governing access note
Access is limited to authorized users and institutions
Issn
2575-5528
Issuing body
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->.
Key title
Proceedings - Symposium on Logic in Computer Science
Lccn
2017202957
Publication designation
Began with [1st] (June 16-18, 1986).
Publication frequency
Annual
System control number
(WaSeSS)ssj0002640
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...