<?xml version="1.0" encoding="UTF-8"?>
<collection xmlns="http://www.loc.gov/MARC21/slim">
 <record>
  <leader>     cam a22     4  4500</leader>
  <controlfield tag="001">282787445</controlfield>
  <controlfield tag="003">CHVBK</controlfield>
  <controlfield tag="005">20201021200354.0</controlfield>
  <controlfield tag="008">130818s2005    xxu           00    eng  </controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
   <subfield code="a">981-256-101-3</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(NEBIS)005265695</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
   <subfield code="a">(RERO)R004617923</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
   <subfield code="a">SzZuIDS NEBIS ETH-BIB</subfield>
  </datafield>
  <datafield tag="072" ind1=" " ind2="7">
   <subfield code="a">s1in</subfield>
   <subfield code="2">rero</subfield>
  </datafield>
  <datafield tag="245" ind1="0" ind2="0">
   <subfield code="a">Explanatory nonmonotonic reasoning</subfield>
   <subfield code="c">Alexander Bochman</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
   <subfield code="a">Hackensack, NJ</subfield>
   <subfield code="b">World Scientific</subfield>
   <subfield code="c">2005</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
   <subfield code="a">408 S.</subfield>
  </datafield>
  <datafield tag="490" ind1="1" ind2=" ">
   <subfield code="a">Advances in logic</subfield>
   <subfield code="v">vol. 4</subfield>
   <subfield code="i">4</subfield>
   <subfield code="w">(NEBIS)004451601</subfield>
   <subfield code="9">157179060</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="7">
   <subfield code="a">NICHTMONOTONES BEWEISVERFAHREN (MATHEMATISCHE LOGIK)</subfield>
   <subfield code="x">ger</subfield>
   <subfield code="0">(ETHUDK)000044930</subfield>
   <subfield code="2">ethudk</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="7">
   <subfield code="a">Raisonnement</subfield>
   <subfield code="0">(RERO)A021002341</subfield>
   <subfield code="2">rero</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="7">
   <subfield code="a">Logique non monotone</subfield>
   <subfield code="0">(RERO)A021127044</subfield>
   <subfield code="2">rero</subfield>
  </datafield>
  <datafield tag="691" ind1=" " ind2="7">
   <subfield code="B">u</subfield>
   <subfield code="a">NICHTMONOTONES BEWEISVERFAHREN (MATHEMATISCHE LOGIK)</subfield>
   <subfield code="z">ger</subfield>
   <subfield code="u">510.662,2</subfield>
   <subfield code="2">nebis E1</subfield>
  </datafield>
  <datafield tag="691" ind1=" " ind2="7">
   <subfield code="B">u</subfield>
   <subfield code="a">NONMONOTONIC REASONING (MATHEMATICAL LOGIC)</subfield>
   <subfield code="z">eng</subfield>
   <subfield code="u">510.662,2</subfield>
   <subfield code="2">nebis E1</subfield>
  </datafield>
  <datafield tag="691" ind1=" " ind2="7">
   <subfield code="B">u</subfield>
   <subfield code="a">RAISONNEMENT NON MONOTONE (LOGIQUE MATHÉMATIQUE)</subfield>
   <subfield code="z">fre</subfield>
   <subfield code="u">510.662,2</subfield>
   <subfield code="2">nebis E1</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
   <subfield code="a">Bochman</subfield>
   <subfield code="D">Alexander</subfield>
  </datafield>
  <datafield tag="830" ind1=" " ind2="0">
   <subfield code="a">Advances in logic</subfield>
   <subfield code="v">4</subfield>
   <subfield code="w">(RERO)R00339687</subfield>
  </datafield>
  <datafield tag="898" ind1=" " ind2=" ">
   <subfield code="a">BK020000</subfield>
   <subfield code="b">XK020000</subfield>
   <subfield code="c">XK020000</subfield>
  </datafield>
  <datafield tag="912" ind1=" " ind2="7">
   <subfield code="a">121</subfield>
   <subfield code="2">E01-20070108</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">RERO</subfield>
   <subfield code="F">RE01046</subfield>
   <subfield code="b">RE01046</subfield>
   <subfield code="c">RE010460003</subfield>
   <subfield code="j">DIUF 1.8.2</subfield>
   <subfield code="s">TIB 7742</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NEBIS</subfield>
   <subfield code="F">E30</subfield>
   <subfield code="b">E30</subfield>
   <subfield code="c">E30BI</subfield>
   <subfield code="j">NEZ 229</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NEBIS</subfield>
   <subfield code="F">E30</subfield>
   <subfield code="b">E30</subfield>
   <subfield code="c">E30BI</subfield>
   <subfield code="j">NEZ 229: EX.2</subfield>
  </datafield>
  <datafield tag="949" ind1=" " ind2=" ">
   <subfield code="B">NEBIS</subfield>
   <subfield code="F">E01</subfield>
   <subfield code="b">E01</subfield>
   <subfield code="c">MG</subfield>
   <subfield code="j">787246</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NEBIS</subfield>
   <subfield code="P">490</subfield>
   <subfield code="E">--</subfield>
   <subfield code="a">Advances in logic</subfield>
   <subfield code="v">vol. 4</subfield>
   <subfield code="i">4</subfield>
   <subfield code="w">(NEBIS)004451601</subfield>
   <subfield code="9">157179060</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">NEBIS</subfield>
   <subfield code="P">700</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Bochman</subfield>
   <subfield code="D">Alexander</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">RERO</subfield>
   <subfield code="P">100</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Bochman</subfield>
   <subfield code="D">Alexander</subfield>
   <subfield code="0">(IDREF)06918982X</subfield>
   <subfield code="4">cre</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">RERO</subfield>
   <subfield code="P">490</subfield>
   <subfield code="E">1-</subfield>
   <subfield code="a">Advances in logic</subfield>
   <subfield code="v">vol. 4</subfield>
  </datafield>
  <datafield tag="950" ind1=" " ind2=" ">
   <subfield code="B">RERO</subfield>
   <subfield code="P">830</subfield>
   <subfield code="E">--</subfield>
   <subfield code="a">Advances in logic</subfield>
   <subfield code="v">4</subfield>
   <subfield code="w">(RERO)R00339687</subfield>
  </datafield>
  <datafield tag="956" ind1="4" ind2=" ">
   <subfield code="B">NEBIS</subfield>
   <subfield code="C">EAD50</subfield>
   <subfield code="D">EBI01</subfield>
   <subfield code="a">E01</subfield>
   <subfield code="u">https://opac.nebis.ch/objects/pdf/000169229_e01_9812561013_02.pdf</subfield>
   <subfield code="y">Abstract / Autoreninformation</subfield>
   <subfield code="x">VIEW</subfield>
   <subfield code="q">pdf</subfield>
  </datafield>
  <datafield tag="986" ind1=" " ind2=" ">
   <subfield code="a">SWISSBIB</subfield>
   <subfield code="b">282787445</subfield>
  </datafield>
 </record>
</collection>
