<?xml version="1.0"?>

 <rdf:Description xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/">
  <dc:title>Logic In Computer Science : Modelling and Reasoning about Systems</dc:title>
  <dc:creator>
   Michael Huth
   Pengarang
  </dc:creator>
  <dc:creator>
   Mark Ryan
   Pengarang
  </dc:creator>
  <dc:type>text</dc:type>
  <dc:language>|  </dc:language>
  <dc:subject>Logic programming</dc:subject>
</rdf:Description>