Fundamentals of computation theory: proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1977
|
| Series: | Lecture notes in computer science
56 |
| Subjects: | |
| Physical Description: | XI, 542 S. graph. Darst. |
| ISBN: | 3540084428 0387084428 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001986613 | ||
| 003 | DE-604 | ||
| 005 | 20131009 | ||
| 007 | t| | ||
| 008 | 890928s1977 xx d||| |||| 10||| eng d | ||
| 020 | |a 3540084428 |9 3-540-08442-8 | ||
| 020 | |a 0387084428 |9 0-387-08442-8 | ||
| 035 | |a (OCoLC)3294633 | ||
| 035 | |a (DE-599)BVBBV001986613 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-355 |a DE-20 |a DE-19 |a DE-210 |a DE-83 |a DE-11 |a DE-634 |a DE-384 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA9.6 | |
| 082 | 0 | |a 511/.3 | |
| 084 | |a QH 730 |0 (DE-625)141613: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a 03-06 |2 msc | ||
| 084 | |a 68-06 |2 msc | ||
| 245 | 1 | 0 | |a Fundamentals of computation theory |b proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 |c ed. by Marek Karpiński |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1977 | |
| 300 | |a XI, 542 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 56 | |
| 650 | 4 | |a Complexité de calcul (Informatique) - Congrès | |
| 650 | 4 | |a Recursivité, Théorie de la - Congrès | |
| 650 | 7 | |a algèbre universelle |2 inriac | |
| 650 | 7 | |a analyse combinatoire |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a décidabilité |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a théorie catégorie |2 inriac | |
| 650 | 7 | |a théorie jeu |2 inriac | |
| 650 | 7 | |a théorie nombre |2 inriac | |
| 650 | 4 | |a Categories (Mathematics) |v Congresses | |
| 650 | 4 | |a Computational complexity |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 4 | |a Recursion theory |v Congresses | |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | 1 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Karpiński, Marek |d 1948- |0 (DE-588)115476032 |4 edt | |
| 711 | 2 | |a International FCT Conference |n 1 |d 1977 |c Poznań; Kórnik |j Sonstige |0 (DE-588)1044782-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 56 |w (DE-604)BV000000607 |9 56 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001295767 | |
| 980 | 4 | |a (DE-12)AK7510481 | |
| 980 | 4 | |a (DE-12)AK11300158 | |
Record in the Search Index
| _version_ | 1820874837320531968 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Karpiński, Marek 1948- |
| author2_role | edt |
| author2_variant | m k mk |
| author_GND | (DE-588)115476032 |
| author_facet | Karpiński, Marek 1948- |
| building | Verbundindex |
| bvnumber | BV001986613 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.6 |
| callnumber-search | QA9.6 |
| callnumber-sort | QA 19.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 730 ST 130 |
| ctrlnum | (OCoLC)3294633 (DE-599)BVBBV001986613 |
| dewey-full | 511/.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.3 |
| dewey-search | 511/.3 |
| dewey-sort | 3511 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik Wirtschaftswissenschaften |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV001986613</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131009</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1977 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540084428</subfield><subfield code="9">3-540-08442-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387084428</subfield><subfield code="9">0-387-08442-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)3294633</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001986613</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="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 730</subfield><subfield code="0">(DE-625)141613:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamentals of computation theory</subfield><subfield code="b">proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977</subfield><subfield code="c">ed. by Marek Karpiński</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 542 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">Lecture notes in computer science</subfield><subfield code="v">56</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexité de calcul (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursivité, Théorie de la - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algèbre universelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie jeu</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie nombre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-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">Karpiński, Marek</subfield><subfield code="d">1948-</subfield><subfield code="0">(DE-588)115476032</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International FCT Conference</subfield><subfield code="n">1</subfield><subfield code="d">1977</subfield><subfield code="c">Poznań; Kórnik</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1044782-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">56</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">56</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001295767</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK7510481</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK11300158</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV001986613 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:05Z |
| institution | BVB |
| institution_GND | (DE-588)1044782-9 |
| isbn | 3540084428 0387084428 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001295767 |
| oclc_num | 3294633 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-210 DE-83 DE-11 DE-634 DE-384 DE-706 DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-210 DE-83 DE-11 DE-634 DE-384 DE-706 DE-188 |
| physical | XI, 542 S. graph. Darst. |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 ed. by Marek Karpiński Berlin [u.a.] Springer 1977 XI, 542 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 56 Complexité de calcul (Informatique) - Congrès Recursivité, Théorie de la - Congrès algèbre universelle inriac analyse combinatoire inriac complexité inriac décidabilité inriac informatique théorique inriac théorie catégorie inriac théorie jeu inriac théorie nombre inriac Categories (Mathematics) Congresses Computational complexity Congresses Machine theory Congresses Recursion theory Congresses Automatentheorie (DE-588)4003953-5 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Berechenbarkeit (DE-588)4138368-0 s Automatentheorie (DE-588)4003953-5 s Logik (DE-588)4036202-4 s DE-604 Karpiński, Marek 1948- (DE-588)115476032 edt International FCT Conference 1 1977 Poznań; Kórnik Sonstige (DE-588)1044782-9 oth Lecture notes in computer science 56 (DE-604)BV000000607 56 |
| spellingShingle | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 Lecture notes in computer science Complexité de calcul (Informatique) - Congrès Recursivité, Théorie de la - Congrès algèbre universelle inriac analyse combinatoire inriac complexité inriac décidabilité inriac informatique théorique inriac théorie catégorie inriac théorie jeu inriac théorie nombre inriac Categories (Mathematics) Congresses Computational complexity Congresses Machine theory Congresses Recursion theory Congresses Automatentheorie (DE-588)4003953-5 gnd Berechenbarkeit (DE-588)4138368-0 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4003953-5 (DE-588)4138368-0 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 |
| title_auth | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 |
| title_exact_search | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 |
| title_full | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 ed. by Marek Karpiński |
| title_fullStr | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 ed. by Marek Karpiński |
| title_full_unstemmed | Fundamentals of computation theory proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 ed. by Marek Karpiński |
| title_short | Fundamentals of computation theory |
| title_sort | fundamentals of computation theory proceedings of the 1977 international fct conference poznan kornik poland september 19 23 1977 |
| title_sub | proceedings of the 1977 International FCT-Conference ; Poznań-Kórnik, Poland, September 19 - 23, 1977 |
| topic | Complexité de calcul (Informatique) - Congrès Recursivité, Théorie de la - Congrès algèbre universelle inriac analyse combinatoire inriac complexité inriac décidabilité inriac informatique théorique inriac théorie catégorie inriac théorie jeu inriac théorie nombre inriac Categories (Mathematics) Congresses Computational complexity Congresses Machine theory Congresses Recursion theory Congresses Automatentheorie (DE-588)4003953-5 gnd Berechenbarkeit (DE-588)4138368-0 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Complexité de calcul (Informatique) - Congrès Recursivité, Théorie de la - Congrès algèbre universelle analyse combinatoire complexité décidabilité informatique théorique théorie catégorie théorie jeu théorie nombre Categories (Mathematics) Congresses Computational complexity Congresses Machine theory Congresses Recursion theory Congresses Automatentheorie Berechenbarkeit Logik Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT karpinskimarek fundamentalsofcomputationtheoryproceedingsofthe1977internationalfctconferencepoznankornikpolandseptember19231977 AT internationalfctconferencepoznankornik fundamentalsofcomputationtheoryproceedingsofthe1977internationalfctconferencepoznankornikpolandseptember19231977 |