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: Mathematical knowledge management
    sub title: third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
  title info:
    title: MKM 2004
  name:
    name part: MKM 2004 (2004 : Białowieża, Poland)
    role:
      role term: creator
  name:
    name part: Asperti, Andrea.
  name:
    name part: Bancerek, Grzegorz.
  name:
    name part: Trybulec, Andrzej.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Conference proceedings.
  genre: Kongress.
  origin info:
    place:
      place term: gw
    date issued: 2004
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 392 pages) : illustrations
  note: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Mathematics
    topic: Data processing
    genre: Congresses
  subject:
    topic: Information storage and retrieval systems
    topic: Mathematics
    genre: Congresses
  subject:
    topic: Automatic theorem proving
    genre: Congresses
  subject:
    topic: Mathématiques
    topic: Informatique
    genre: Congrès
  subject:
    topic: Systèmes d'information
    topic: Mathématiques
    genre: Congrès
  subject:
    topic: Théorèmes
    topic: Démonstration automatique
    genre: Congrès
  subject:
    topic: Automatic theorem proving
  subject:
    topic: Information storage and retrieval systems
    topic: Mathematics
  subject:
    topic: Mathematics
    topic: Data processing
  subject:
    topic: Mathématique discrète
  subject:
    topic: Système d'information
  subject:
    topic: Démonstration automatique de théorèmes
  subject:
    topic: Mathématique
  subject:
    topic: Mathematik
  subject:
    topic: Wissensmanagement
  subject:
    geographic: Białowieża (2004)
  classification: QA76.95 .M56 2004
  classification: 510/.285
  classification: 31.99
  classification: 510
  classification: DAT 703f
  classification: MAT 010f
  classification: SS 4800
  related item:
    title info:
      title: Lecture notes in computer science ; 3119
  identifier: 3540230297
  identifier: 9783540230298
  identifier: 2004111460
  identifier: 11320111
  identifier: http://proxy.library.tamu.edu/login
  identifier: http://www.springerlink.com/openurl.asp
  related item:
    location:
      url: http://www.springerlink.com/openurl.asp
  record info:
    record content source: OHX
    record creation date: 040917
    record change date: 20190326102250.0
    record identifier: in00002020834
    language of cataloging:
      language term: eng