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: Types for proofs and programs
    sub title: International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; selected papers
  name:
    name part: Dybjer, Peter.
  name:
    name part: SpringerLink (Online service)
  name:
    name part: International Workshop TYPES
    name part: (2 : 1994 : Båstad)
  name:
    name part: International Workshop TYPES 1994.06.06-10 : Båstad, Sweden)
  name:
    name part: International Workshop on Types for Proofs and Programs 1994.06.06-10 : Båstad, Sweden)
  type of resource: software, multimedia
  genre: Electronic books.
  genre: Conference proceedings.
  origin info:
    place:
      place term: xx
    date issued: 1995
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: remote
    extent: 1 online resource (X, 202 S.)
  note: Peter Dybjer ... (eds.).
  note: Literaturangaben
  note: Electronic resource.
  subject:
    topic: Automatic theorem proving
    genre: Congresses
  subject:
    topic: Automatic theorem proving
  classification: QA76.9.A96
  classification: 005.131
  classification: *00B25
  classification: 03-06
  classification: 54.10
  classification: 54.51
  classification: 68-06
  related item:
    title info:
      title: Types for proofs and programs
    identifier: (DE-601)189904119
  related item:
    title info:
      title: Lecture notes in computer science ; 996
  identifier: 3540605797
  identifier: 9783540605799
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: GBVCP
    record creation date: 090328
    record change date: 20260422154028.1
    record identifier: in00003554536
    language of cataloging:
      language term: ger