Provability, complexity, grammars:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English Russian |
| Veröffentlicht: |
Providence, RI
American Math. Soc.
1999
|
| Schriftenreihe: | American Mathematical Society: Translations / Series 2
192 |
| Schlagworte: | |
| Beschreibung: | IX, 172 S. graph. Darst. |
| ISBN: | 0821810782 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012882847 | ||
| 003 | DE-604 | ||
| 005 | 20130325 | ||
| 007 | t | ||
| 008 | 991201s1999 d||| |||| 00||| eng d | ||
| 020 | |a 0821810782 |9 0-8218-1078-2 | ||
| 035 | |a (OCoLC)40964733 | ||
| 035 | |a (DE-599)BVBBV012882847 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a eng |h rus | |
| 049 | |a DE-355 |a DE-29T |a DE-739 |a DE-19 |a DE-11 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 510 |2 21 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SI 160 |0 (DE-625)143084: |2 rvk | ||
| 084 | |a 03B45 |2 msc | ||
| 084 | |a 03F40 |2 msc | ||
| 245 | 1 | 0 | |a Provability, complexity, grammars |c Lev Beklemishev ; Mati Pentus ; Nikolai Vereshchagin |
| 264 | 1 | |a Providence, RI |b American Math. Soc. |c 1999 | |
| 300 | |a IX, 172 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a American Mathematical Society: Translations / Series 2 |v 192 | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Complexiteit |2 gtt | |
| 650 | 7 | |a Complexité de calcul (Informatique) |2 ram | |
| 650 | 7 | |a Linguistique mathématique |2 ram | |
| 650 | 7 | |a Modaliteit |2 gtt | |
| 650 | 7 | |a Modalité (Logique) |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 4 | |a Computational complexity | |
| 650 | 4 | |a Mathematical linguistics | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modalität |0 (DE-588)4039789-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Linguistik |0 (DE-588)4037950-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modalität |0 (DE-588)4039789-0 |D s |
| 689 | 0 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | 2 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | 3 | |a Mathematische Linguistik |0 (DE-588)4037950-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Beklemishev, Lev D. |d 1967- |e Sonstige |0 (DE-588)1024952835 |4 oth | |
| 700 | 1 | |a Pentus, Mati |e Sonstige |4 oth | |
| 700 | 1 | |a Vereščagin, Nikolaj K. |d 1958- |e Sonstige |0 (DE-588)130556548 |4 oth | |
| 810 | 2 | |a Series 2 |t American Mathematical Society: Translations |v 192 |w (DE-604)BV008925805 |9 192 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008769404 | ||
Datensatz im Suchindex
| _version_ | 1804127569177477120 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)1024952835 (DE-588)130556548 |
| building | Verbundindex |
| bvnumber | BV012882847 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 160 |
| ctrlnum | (OCoLC)40964733 (DE-599)BVBBV012882847 |
| dewey-full | 510 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics 511 - General principles of mathematics |
| dewey-raw | 510 511.3 |
| dewey-search | 510 511.3 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02264nam a2200613 cb4500</leader><controlfield tag="001">BV012882847</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130325 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991201s1999 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821810782</subfield><subfield code="9">0-8218-1078-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)40964733</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012882847</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">rus</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 160</subfield><subfield code="0">(DE-625)143084:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F40</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Provability, complexity, grammars</subfield><subfield code="c">Lev Beklemishev ; Mati Pentus ; Nikolai Vereshchagin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Math. Soc.</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 172 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">American Mathematical Society: Translations / Series 2</subfield><subfield code="v">192</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Complexiteit</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Complexité de calcul (Informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Linguistique mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modaliteit</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modalité (Logique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modalität</subfield><subfield code="0">(DE-588)4039789-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Linguistik</subfield><subfield code="0">(DE-588)4037950-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modalität</subfield><subfield code="0">(DE-588)4039789-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Mathematische Linguistik</subfield><subfield code="0">(DE-588)4037950-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beklemishev, Lev D.</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1024952835</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pentus, Mati</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vereščagin, Nikolaj K.</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)130556548</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Series 2</subfield><subfield code="t">American Mathematical Society: Translations</subfield><subfield code="v">192</subfield><subfield code="w">(DE-604)BV008925805</subfield><subfield code="9">192</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008769404</subfield></datafield></record></collection> |
| id | DE-604.BV012882847 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:35:26Z |
| institution | BVB |
| isbn | 0821810782 |
| language | English Russian |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008769404 |
| oclc_num | 40964733 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-29T DE-739 DE-19 DE-BY-UBM DE-11 DE-83 DE-188 |
| owner_facet | DE-355 DE-BY-UBR DE-29T DE-739 DE-19 DE-BY-UBM DE-11 DE-83 DE-188 |
| physical | IX, 172 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | American Math. Soc. |
| record_format | marc |
| series2 | American Mathematical Society: Translations / Series 2 |
| spelling | Provability, complexity, grammars Lev Beklemishev ; Mati Pentus ; Nikolai Vereshchagin Providence, RI American Math. Soc. 1999 IX, 172 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier American Mathematical Society: Translations / Series 2 192 Bewijstheorie gtt Complexiteit gtt Complexité de calcul (Informatique) ram Linguistique mathématique ram Modaliteit gtt Modalité (Logique) ram Preuve, Théorie de la ram Computational complexity Mathematical linguistics Modality (Logic) Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Modalität (DE-588)4039789-0 gnd rswk-swf Mathematische Linguistik (DE-588)4037950-4 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf Modalität (DE-588)4039789-0 s Beweistheorie (DE-588)4145177-6 s Berechnungskomplexität (DE-588)4134751-1 s Mathematische Linguistik (DE-588)4037950-4 s DE-604 Beklemishev, Lev D. 1967- Sonstige (DE-588)1024952835 oth Pentus, Mati Sonstige oth Vereščagin, Nikolaj K. 1958- Sonstige (DE-588)130556548 oth Series 2 American Mathematical Society: Translations 192 (DE-604)BV008925805 192 |
| spellingShingle | Provability, complexity, grammars Bewijstheorie gtt Complexiteit gtt Complexité de calcul (Informatique) ram Linguistique mathématique ram Modaliteit gtt Modalité (Logique) ram Preuve, Théorie de la ram Computational complexity Mathematical linguistics Modality (Logic) Proof theory Beweistheorie (DE-588)4145177-6 gnd Modalität (DE-588)4039789-0 gnd Mathematische Linguistik (DE-588)4037950-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)4039789-0 (DE-588)4037950-4 (DE-588)4134751-1 |
| title | Provability, complexity, grammars |
| title_auth | Provability, complexity, grammars |
| title_exact_search | Provability, complexity, grammars |
| title_full | Provability, complexity, grammars Lev Beklemishev ; Mati Pentus ; Nikolai Vereshchagin |
| title_fullStr | Provability, complexity, grammars Lev Beklemishev ; Mati Pentus ; Nikolai Vereshchagin |
| title_full_unstemmed | Provability, complexity, grammars Lev Beklemishev ; Mati Pentus ; Nikolai Vereshchagin |
| title_short | Provability, complexity, grammars |
| title_sort | provability complexity grammars |
| topic | Bewijstheorie gtt Complexiteit gtt Complexité de calcul (Informatique) ram Linguistique mathématique ram Modaliteit gtt Modalité (Logique) ram Preuve, Théorie de la ram Computational complexity Mathematical linguistics Modality (Logic) Proof theory Beweistheorie (DE-588)4145177-6 gnd Modalität (DE-588)4039789-0 gnd Mathematische Linguistik (DE-588)4037950-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Bewijstheorie Complexiteit Complexité de calcul (Informatique) Linguistique mathématique Modaliteit Modalité (Logique) Preuve, Théorie de la Computational complexity Mathematical linguistics Modality (Logic) Proof theory Beweistheorie Modalität Mathematische Linguistik Berechnungskomplexität |
| volume_link | (DE-604)BV008925805 |
| work_keys_str_mv | AT beklemishevlevd provabilitycomplexitygrammars AT pentusmati provabilitycomplexitygrammars AT verescaginnikolajk provabilitycomplexitygrammars |