<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>01463nam0a2200325   4500</leader>
  <controlfield tag="001">RU\NLR\bibl\91616</controlfield>
  <controlfield tag="005">20260405114124.0</controlfield>
  <datafield tag="021" ind1=" " ind2=" ">
    <subfield code="a">RU</subfield>
    <subfield code="b">2000-2759</subfield>
    <subfield code="9">136</subfield>
  </datafield>
  <datafield tag="035" ind1=" " ind2=" ">
    <subfield code="a">(NLR Aleph) 000089539</subfield>
  </datafield>
  <datafield tag="090" ind1=" " ind2=" ">
    <subfield code="a">501896</subfield>
    <subfield code="c">501896</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="a">20000613d1999    |||y0rusy50      ca</subfield>
  </datafield>
  <datafield tag="101" ind1="0" ind2=" ">
    <subfield code="a">rus</subfield>
  </datafield>
  <datafield tag="102" ind1=" " ind2=" ">
    <subfield code="a">RU</subfield>
  </datafield>
  <datafield tag="105" ind1=" " ind2=" ">
    <subfield code="a">y   |||||||||</subfield>
  </datafield>
  <datafield tag="200" ind1="1" ind2=" ">
    <subfield code="a">&#x418;&#x441;&#x441;&#x43B;&#x435;&#x434;&#x43E;&#x432;&#x430;&#x43D;&#x438;&#x435; &#x440;&#x430;&#x437;&#x440;&#x435;&#x448;&#x438;&#x43C;&#x43E;&#x441;&#x442;&#x438; &#x432;&#x440;&#x435;&#x43C;&#x435;&#x43D;&#x43D;&#x44B;&#x445; &#x442;&#x435;&#x441;&#x442;&#x43E;&#x432;&#x44B;&#x445; &#x44D;&#x43A;&#x432;&#x438;&#x432;&#x430;&#x43B;&#x435;&#x43D;&#x442;&#x43D;&#x43E;&#x441;&#x442;&#x435;&#x439;</subfield>
    <subfield code="d">Invertigation of time testing eqvivalence's decidebility</subfield>
    <subfield code="f">&#x415;.&#x41D;. &#x411;&#x43E;&#x436;&#x435;&#x43D;&#x43A;&#x43E;&#x432;&#x430;</subfield>
    <subfield code="z">eng</subfield>
  </datafield>
  <datafield tag="210" ind1=" " ind2=" ">
    <subfield code="a">&#x41D;&#x43E;&#x432;&#x43E;&#x441;&#x438;&#x431;&#x438;&#x440;&#x441;&#x43A;</subfield>
    <subfield code="c">&#x418;&#x421;&#x418;</subfield>
    <subfield code="d">1999</subfield>
  </datafield>
  <datafield tag="215" ind1=" " ind2=" ">
    <subfield code="a">31 &#x441;.</subfield>
    <subfield code="d">20</subfield>
  </datafield>
  <datafield tag="225" ind1="1" ind2=" ">
    <subfield code="a">&#x41F;&#x440;&#x435;&#x43F;&#x440;&#x438;&#x43D;&#x442;</subfield>
    <subfield code="d">Preprint</subfield>
    <subfield code="f">&#x420;&#x43E;&#x441;. &#x430;&#x43A;&#x430;&#x434;. &#x43D;&#x430;&#x443;&#x43A;. &#x421;&#x438;&#x431;. &#x43E;&#x442;&#x434;-&#x43D;&#x438;&#x435;, &#x418;&#x43D;-&#x442; &#x441;&#x438;&#x441;&#x442;&#x435;&#x43C; &#x438;&#x43D;&#x444;&#x43E;&#x440;&#x43C;&#x430;&#x442;&#x438;&#x43A;&#x438; &#x438;&#x43C;. &#x410;.&#x41F;. &#x415;&#x440;&#x448;&#x43E;&#x432;&#x430;</subfield>
    <subfield code="v">62</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">&#x410;&#x432;&#x442;. &#x442;&#x430;&#x43A;&#x436;&#x435; &#x43D;&#x430; &#x430;&#x43D;&#x433;&#x43B;. &#x44F;&#x437;.: E.N. Bozhenkova</subfield>
  </datafield>
  <datafield tag="320" ind1=" " ind2=" ">
    <subfield code="a">&#x411;&#x438;&#x431;&#x43B;&#x438;&#x43E;&#x433;&#x440;.: &#x441;. 31 (12 &#x43D;&#x430;&#x437;&#x432;.)</subfield>
  </datafield>
  <datafield tag="510" ind1="0" ind2=" ">
    <subfield code="a">Invertigation of time testing eqvivalence's decidebility</subfield>
    <subfield code="z">eng</subfield>
  </datafield>
  <datafield tag="606" ind1="0" ind2=" ">
    <subfield code="a">&#x41F;&#x430;&#x440;&#x430;&#x43B;&#x43B;&#x435;&#x43B;&#x44C;&#x43D;&#x44B;&#x435; &#x432;&#x44B;&#x447;&#x438;&#x441;&#x43B;&#x438;&#x442;&#x435;&#x43B;&#x44C;&#x43D;&#x44B;&#x435; &#x441;&#x438;&#x441;&#x442;&#x435;&#x43C;&#x44B;</subfield>
    <subfield code="x">&#x42D;&#x43A;&#x432;&#x438;&#x432;&#x430;&#x43B;&#x435;&#x43D;&#x442;&#x43D;&#x43E;&#x441;&#x442;&#x44C;</subfield>
    <subfield code="9">2198468</subfield>
    <subfield code="3">RU\NLR\auth\661321209</subfield>
  </datafield>
  <datafield tag="686" ind1=" " ind2=" ">
    <subfield code="a">&#x417;973.202</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2="1">
    <subfield code="4">070</subfield>
    <subfield code="8">rus</subfield>
    <subfield code="7">ca</subfield>
    <subfield code="a">&#x411;&#x43E;&#x436;&#x435;&#x43D;&#x43A;&#x43E;&#x432;&#x430;</subfield>
    <subfield code="b">&#x415;. &#x41D;.</subfield>
    <subfield code="g">&#x415;&#x43B;&#x435;&#x43D;&#x430; &#x41D;&#x438;&#x43A;&#x43E;&#x43B;&#x430;&#x435;&#x432;&#x43D;&#x430;</subfield>
    <subfield code="3">RU\NLR\auth\7744709</subfield>
    <subfield code="9">27649</subfield>
  </datafield>
  <datafield tag="801" ind1=" " ind2="0">
    <subfield code="a">RU</subfield>
    <subfield code="b">NLR</subfield>
    <subfield code="c">20000613</subfield>
    <subfield code="g">PSBO</subfield>
  </datafield>
  <datafield tag="801" ind1=" " ind2="1">
    <subfield code="a">RU</subfield>
    <subfield code="b">NLR</subfield>
    <subfield code="c">20000613</subfield>
  </datafield>
  <datafield tag="852" ind1=" " ind2=" ">
    <subfield code="a">NLR</subfield>
    <subfield code="j">2000-4/2375</subfield>
  </datafield>
  <datafield tag="942" ind1=" " ind2=" ">
    <subfield code="c">BOOK</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">NB</subfield>
  </datafield>
  <datafield tag="995" ind1=" " ind2=" ">
    <subfield code="5">2000-06-13</subfield>
    <subfield code="a">ad</subfield>
    <subfield code="b">NLR01</subfield>
    <subfield code="c">NLR01</subfield>
    <subfield code="e">RF8</subfield>
    <subfield code="f">40623</subfield>
    <subfield code="k">2000-4/2375</subfield>
    <subfield code="o">0</subfield>
    <subfield code="r">BOOK</subfield>
    <subfield code="s">200042375_</subfield>
  </datafield>
  <datafield tag="995" ind1=" " ind2=" ">
    <subfield code="5">2000-06-13</subfield>
    <subfield code="a">ad</subfield>
    <subfield code="b">NLR01</subfield>
    <subfield code="c">NLR01</subfield>
    <subfield code="e">RF8</subfield>
    <subfield code="f">40624</subfield>
    <subfield code="k">2000-4/2375</subfield>
    <subfield code="o">0</subfield>
    <subfield code="r">BOOK</subfield>
    <subfield code="s">200042375_</subfield>
  </datafield>
</record>
