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 programming
    sub title: 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
  title info:
    title: ICLP 2001
  name:
    name part: International Conference on Logic Programming 2001 : Paphos, Cyprus)
    role:
      role term: creator
  name:
    name part: Codognet, Philippe.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Electronic books.
  genre: Kongress-Paphos (Kouklia)-2001.
  genre: Conference proceedings.
  genre: Paphos (Kouklia, 2001)
  origin info:
    place:
      place term: gw
    date issued: 2001
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xi, 364 pages)
  note: Philippe Codognet (ed.).
  note: Electronic resource.
  note: Includes bibliographical references and index.
  subject:
    topic: Logic programming
    genre: Congresses
  subject:
    topic: logique linéaire
  subject:
    topic: logique mathématique
  subject:
    topic: sémantique programme
  subject:
    topic: programmation sous contrainte
  subject:
    topic: vérification formelle
  subject:
    topic: logique informatique
  subject:
    topic: programmation en logique
  subject:
    topic: Programmation logique
    topic: Congrès
  subject:
    topic: Logic programming
  subject:
    topic: Logisch programmeren
  subject:
    topic: Programmation logique
    topic: Congrès
  subject:
    topic: Kongress
  subject:
    topic: Logische Programmierung
  classification: QA76.63 .I57 2001
  classification: 001.64 L497, v.2237
  classification: 54.51
  classification: DAT 706f
  classification: SS 4800
  classification: ST 230
  related item:
    title info:
      title: Lecture notes in computer science ; 2237
  identifier: 3540429352
  identifier: 9783540429357
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OHX
    record creation date: 011130
    record change date: 20190325103107.0
    record identifier: in00001665432
    language of cataloging:
      language term: eng