Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002:
The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer scienc...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
Singapore University Press
c2003
|
| Schlagworte: | |
| Online-Zugang: | FHN01 URL des Erstveroeffentlichers |
| Zusammenfassung: | The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers - many of them surveys by leading experts - of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic |
| Beschreibung: | viii, 471 p. ill |
| ISBN: | 9789812705815 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044634466 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812705815 |c electronic bk. |9 978-981-270-581-5 | ||
| 024 | 7 | |a 10.1142/5186 |2 doi | |
| 035 | |a (ZDB-124-WOP)00003325 | ||
| 035 | |a (OCoLC)1012658862 | ||
| 035 | |a (DE-599)BVBBV044634466 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 110 | 2 | |a Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 |c editors, Rod Downey ... [et al.] |
| 264 | 1 | |a Singapore |b Singapore University Press |c c2003 | |
| 300 | |a viii, 471 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers - many of them surveys by leading experts - of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic | ||
| 650 | 4 | |a Logic, Symbolic and mathematical / Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Downey, R. G. |e Sonstige |4 oth | |
| 710 | 2 | |a World Scientific (Firm) |e Sonstige |4 oth | |
| 710 | 2 | |a Asian Logic Conference < 2002, Chongqing, China> |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789812382610 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9812382615 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/5186#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030032438 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/5186#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178046223122432 |
|---|---|
| any_adam_object | |
| author_corporate | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |
| author_corporate_role | aut |
| author_facet | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |
| author_sort | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |
| building | Verbundindex |
| bvnumber | BV044634466 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00003325 (OCoLC)1012658862 (DE-599)BVBBV044634466 |
| 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>02525nmm a2200421zc 4500</leader><controlfield tag="001">BV044634466</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812705815</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-270-581-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/5186</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00003325</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012658862</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044634466</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="110" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference < 1999, Hsi-Tou, Taiwan></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 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002</subfield><subfield code="c">editors, Rod Downey ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Singapore University Press</subfield><subfield code="c">c2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 471 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">The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers - many of them surveys by leading experts - of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic</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="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">Downey, R. G.</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="710" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference < 2002, Chongqing, China></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">9789812382610</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">9812382615</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/5186#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-030032438</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/5186#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 | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044634466 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:44Z |
| institution | BVB |
| isbn | 9789812705815 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030032438 |
| oclc_num | 1012658862 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | viii, 471 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Singapore University Press |
| record_format | marc |
| spelling | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> Verfasser aut Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 editors, Rod Downey ... [et al.] Singapore Singapore University Press c2003 viii, 471 p. ill txt rdacontent c rdamedia cr rdacarrier The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers - many of them surveys by leading experts - of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic Logic, Symbolic and mathematical / Congresses (DE-588)1071861417 Konferenzschrift gnd-content Downey, R. G. Sonstige oth World Scientific (Firm) Sonstige oth Asian Logic Conference < 2002, Chongqing, China> Sonstige oth Erscheint auch als Druck-Ausgabe 9789812382610 Erscheint auch als Druck-Ausgabe 9812382615 http://www.worldscientific.com/worldscibooks/10.1142/5186#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 Logic, Symbolic and mathematical / Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 |
| title_auth | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 |
| title_exact_search | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 |
| title_full | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 editors, Rod Downey ... [et al.] |
| title_fullStr | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 editors, Rod Downey ... [et al.] |
| title_full_unstemmed | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 editors, Rod Downey ... [et al.] |
| title_short | Proceedings of the 7th & 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002 |
| title_sort | proceedings of the 7th 8th asian logic conferences hsi tou taiwan 6 10 june 1999 chongqing china 29 august 2 september 2002 |
| topic | Logic, Symbolic and mathematical / Congresses |
| topic_facet | Logic, Symbolic and mathematical / Congresses Konferenzschrift |
| url | http://www.worldscientific.com/worldscibooks/10.1142/5186#t=toc |
| work_keys_str_mv | AT asianlogicconference1999hsitoutaiwan proceedingsofthe7th8thasianlogicconferenceshsitoutaiwan610june1999chongqingchina29august2september2002 AT downeyrg proceedingsofthe7th8thasianlogicconferenceshsitoutaiwan610june1999chongqingchina29august2september2002 AT worldscientificfirm proceedingsofthe7th8thasianlogicconferenceshsitoutaiwan610june1999chongqingchina29august2september2002 AT asianlogicconference2002chongqingchina proceedingsofthe7th8thasianlogicconferenceshsitoutaiwan610june1999chongqingchina29august2september2002 |