Proceedings of the Sixth Asian Logic Conference: Beijing, China, 20-24 May 1996
This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1998
|
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science |
| Beschreibung: | x, 356 p. ill |
| ISBN: | 9789812812940 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044636321 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812812940 |9 978-981-281-294-0 | ||
| 024 | 7 | |a 10.1142/3755 |2 doi | |
| 035 | |a (ZDB-124-WOP)00004627 | ||
| 035 | |a (OCoLC)1012657933 | ||
| 035 | |a (DE-599)BVBBV044636321 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a SD 1996 |0 (DE-625)142730: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 110 | 2 | |a Asian Logic Conference < 1996, Beijing, China> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Sixth Asian Logic Conference |b Beijing, China, 20-24 May 1996 |c editors, C.T. Chong ... [et al.] |
| 246 | 1 | 3 | |a Sixth Asian Logic Conference |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1998 | |
| 300 | |a x, 356 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Chong, C.-T. |d 1949- |e Sonstige |4 oth | |
| 710 | 2 | |a World Scientific (Firm) |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810234324 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810234325 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/3755#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030034292 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/3755#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178050539061248 |
|---|---|
| any_adam_object | |
| author_corporate | Asian Logic Conference < 1996, Beijing, China> |
| author_corporate_role | aut |
| author_facet | Asian Logic Conference < 1996, Beijing, China> |
| author_sort | Asian Logic Conference < 1996, Beijing, China> |
| building | Verbundindex |
| bvnumber | BV044636321 |
| classification_rvk | SD 1996 SK 130 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00004627 (OCoLC)1012657933 (DE-599)BVBBV044636321 |
| 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.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02004nmm a2200457zc 4500</leader><controlfield tag="001">BV044636321</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812812940</subfield><subfield code="9">978-981-281-294-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/3755</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00004627</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012657933</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636321</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1996</subfield><subfield code="0">(DE-625)142730:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference < 1996, Beijing, China></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Sixth Asian Logic Conference</subfield><subfield code="b">Beijing, China, 20-24 May 1996</subfield><subfield code="c">editors, C.T. Chong ... [et al.]</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Sixth Asian Logic Conference</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 356 p.</subfield><subfield code="b">ill</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical / Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chong, C.-T.</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">World Scientific (Firm)</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810234324</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810234325</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3755#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034292</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3755#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044636321 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:48Z |
| institution | BVB |
| isbn | 9789812812940 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034292 |
| oclc_num | 1012657933 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | x, 356 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Asian Logic Conference < 1996, Beijing, China> Verfasser aut Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 editors, C.T. Chong ... [et al.] Sixth Asian Logic Conference Singapore World Scientific Pub. Co. c1998 x, 356 p. ill txt rdacontent c rdamedia cr rdacarrier This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science Logic, Symbolic and mathematical / Congresses 1\p (DE-588)1071861417 Konferenzschrift gnd-content Chong, C.-T. 1949- Sonstige oth World Scientific (Firm) Sonstige oth Erscheint auch als Druck-Ausgabe 9789810234324 Erscheint auch als Druck-Ausgabe 9810234325 http://www.worldscientific.com/worldscibooks/10.1142/3755#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 Logic, Symbolic and mathematical / Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 |
| title_alt | Sixth Asian Logic Conference |
| title_auth | Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 |
| title_exact_search | Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 |
| title_full | Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 editors, C.T. Chong ... [et al.] |
| title_fullStr | Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 editors, C.T. Chong ... [et al.] |
| title_full_unstemmed | Proceedings of the Sixth Asian Logic Conference Beijing, China, 20-24 May 1996 editors, C.T. Chong ... [et al.] |
| title_short | Proceedings of the Sixth Asian Logic Conference |
| title_sort | proceedings of the sixth asian logic conference beijing china 20 24 may 1996 |
| title_sub | Beijing, China, 20-24 May 1996 |
| topic | Logic, Symbolic and mathematical / Congresses |
| topic_facet | Logic, Symbolic and mathematical / Congresses Konferenzschrift |
| url | http://www.worldscientific.com/worldscibooks/10.1142/3755#t=toc |
| work_keys_str_mv | AT asianlogicconference1996beijingchina proceedingsofthesixthasianlogicconferencebeijingchina2024may1996 AT chongct proceedingsofthesixthasianlogicconferencebeijingchina2024may1996 AT worldscientificfirm proceedingsofthesixthasianlogicconferencebeijingchina2024may1996 AT asianlogicconference1996beijingchina sixthasianlogicconference AT chongct sixthasianlogicconference AT worldscientificfirm sixthasianlogicconference |