rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Proceedings
  title info:
    title: Proc. - Symp. Logic Comput. Sci
  title info:
    title: Logic in computer science
  title info:
    title: Annual Symposium on Logic in Computer Science 1989-
  name:
    name part: Symposium on Logic in Computer Science.
    role:
      role term: creator
  name:
    name part: IEEE Computer Society
    name part: Technical Committee on Mathematical Foundations of Computing.
  name:
    name part: Association for Symbolic Logic
  name:
    name part: ACM Special Interest Group for Automata and Computability Theory
  name:
    name part: European Association for Theoretical Computer Science
  type of resource: text
  genre: conference publication
  origin info:
    place:
      place term: cau
    date issued: 1986
    date issued: 9999
    issuance: continuing
    frequency: Annual
  language:
    language term: eng
  physical description:
    form: print
    extent: volumes : illustrations ; 28 cm.
  note: Symposium on Logic in Computer Science.
  note: Published: Los Alamitos, CA, 1990-
  note: Beginning with issue for 1988 also available by subscription, in PDF format, via the World Wide Web.
  note: 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>.
  subject:
    topic: Electronic data processing
    genre: Congresses
  subject:
    topic: Computer programming
    genre: Congresses
  subject:
    topic: Logic, Symbolic and mathematical
    genre: Congresses
  subject:
    topic: Computer programs
    topic: Correctness
    genre: Congresses
  classification: QA75.5 .S9574
  classification: 004/.01/5113
  identifier: 1043-6871
  identifier: sn 88036112
  identifier: 89641304
  identifier: IEEE Computer Society Press, 1730 Massachusetts Ave., N.W., Washington, D.C. 20036-1903
  identifier: http://ieeexplore.ieee.org/lpdocs/epic03/conferences.htm
  related item:
    location:
      url: http://ieeexplore.ieee.org/lpdocs/epic03/conferences.htm
  record info:
    record content source: CLE
    record creation date: 920408
    record change date: 20150929084548.0
    record identifier: in00001050353