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: Logic for programming, artificial intelligence, and reasoning
    sub title: 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
  title info:
    title: LPAR 2001
  name:
    name part: LPAR 2001 : Havana, Cuba)
    role:
      role term: creator
  name:
    name part: Nieuwenhuis, Robert.
  name:
    name part: Voronkov, Andrei
    name part: 1959-
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Kongress-Tʻbilisi-2002.
  genre: Kongre€-Havanna-2001.
  genre: Conference proceedings.
  genre: Havanna (2001)
  genre: Tiflis (2002)
  origin info:
    place:
      place term: gw
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xv, 738 pages) : illustrations
  note: Robert Nieuwenhuis, Andrei Voronkov (eds.).
  note: Conference proceedings.
  note: Electronic resource.
  note: Includes bibliographical references.
  subject:
    topic: Logic programming
    genre: Congresses
  subject:
    topic: Programmation logique
    topic: Congrès
  subject:
    topic: Logic programming
  subject:
    topic: Automatisches Beweisverfahren
  subject:
    topic: Kongress
  subject:
    topic: Kongre€
  subject:
    topic: Logische Programmierung
  subject:
    topic: Programmierlogik
  classification: QA76.63 .L735 2001
  classification: 005.11
  classification: 006.3
  classification: DAT 706f
  classification: SS 4800
  related item:
    title info:
      title: Lecture notes in computer science ; 2250
  related item:
    title info:
      title: Lecture notes in computer science
      part name: Lecture notes in artificial intelligence
  identifier: 3540429573
  identifier: 9783540429579
  identifier: 2002283983
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OHX
    record creation date: 011207
    record change date: 20190325103107.0
    record identifier: in00001665840
    language of cataloging:
      language term: eng