<section name="raw">
    <SEQUENTIAL>
      <record key="001" att1="001" value="LIB904130502" att2="LIB904130502">001   LIB904130502</record>
      <field key="037" subkey="x">englisch</field>
      <field key="050" subkey="x">Buch</field>
      <field key="076" subkey="">Formalwissenschaft</field>
      <field key="087" subkey="a">15</field>
      <field key="100" subkey="b">gallaire, hervé (ed.)</field>
      <field key="104" subkey="b">minker, jack (ed.)</field>
      <field key="331" subkey="">logic and data bases</field>
      <field key="335" subkey="">proceedings</field>
      <field key="403" subkey="">1. ed.</field>
      <field key="410" subkey="">new york, london</field>
      <field key="412" subkey="">plenum press</field>
      <field key="425" subkey="">1978</field>
      <field key="433" subkey="">viii, 458 pp.</field>
      <field key="507" subkey="">symposium on logic and data bases ; centre d'études et de recherches de l'ecole nationale supérieure de l'aéronautique et de</field>
      <field key="l'e" subkey="s">pace (c.e.r.t.) (sp.) ; centre d'études et de recherches, toulouse, france ; 1977, november 16-18</field>
      <field key="517" subkey="c">from the table of contents: foreword; introduction; data bases viewed through formal logic; knowledge representation and</field>
      <field key="ded" subkey="u">ction; negative information and data bases; query languages and applications;</field>
      <field key="540" subkey="">0-306-40060-X</field>
      <field key="544" subkey="">8478-B</field>
      <field key="700" subkey="b">001</field>
      <field key="700" subkey="b">knowledge</field>
      <field key="700" subkey="b">005</field>
      <field key="700" subkey="b">computer programming, programs and data</field>
      <field key="710" subkey="">data base management -- congresses</field>
      <field key="710" subkey="">logic, symbolic and mathematical -- congresses</field>
    </SEQUENTIAL>
  </section>