The Resource Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA, LICS general chair: Martin Grohe ; LICS conference chair: Eric Koskinen ; LICS program chair: Natarajan Shankar ; sponsored by IEEE Computer Society [and 7 others]

Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA, LICS general chair: Martin Grohe ; LICS conference chair: Eric Koskinen ; LICS program chair: Natarajan Shankar ; sponsored by IEEE Computer Society [and 7 others]

Label
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA
Title
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016)
Title remainder
July 5-8, 2016, New York City, USA
Statement of responsibility
LICS general chair: Martin Grohe ; LICS conference chair: Eric Koskinen ; LICS program chair: Natarajan Shankar ; sponsored by IEEE Computer Society [and 7 others]
Title variation
  • LICS 2016
  • LICS '16 31st Annual ACM/IEEE Symposium on Logic in Computer Science
  • 31st Annual ACM-IEEE Symposium on Logic in Computer Science
Creator
Contributor
Issuing body
Organizer
Sponsoring body
Subject
Genre
Language
eng
Member of
Cataloging source
MYG
Illustrations
illustrations
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2016
http://bibfra.me/vocab/lite/meetingName
Symposium on Logic in Computer Science
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Grohe, M.
  • Koskinen, Eric
  • IEEE Computer Society
  • Association for Computing Machinery
  • Association for Computing Machinery
  • Institute of Electrical and Electronics Engineers
http://library.link/vocab/subjectName
  • Computer logic
  • Electronic data processing
  • Computer programming
  • Logic, Symbolic and mathematical
  • Computer logic
  • Computer programming
  • Electronic data processing
  • Logic, Symbolic and mathematical
Label
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA, LICS general chair: Martin Grohe ; LICS conference chair: Eric Koskinen ; LICS program chair: Natarajan Shankar ; sponsored by IEEE Computer Society [and 7 others]
Instantiates
Publication
Copyright
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
982124559
Dimensions
unknown
Extent
1 online resource (901 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)982124559
Label
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA, LICS general chair: Martin Grohe ; LICS conference chair: Eric Koskinen ; LICS program chair: Natarajan Shankar ; sponsored by IEEE Computer Society [and 7 others]
Publication
Copyright
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
982124559
Dimensions
unknown
Extent
1 online resource (901 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Specific material designation
remote
System control number
(OCoLC)982124559

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...