Proceedings of the 11th Asian Logic Conference: in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professo...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2012
|
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting |
| Beschreibung: | x, 181 p. ill |
| ISBN: | 9789814360548 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044638660 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814360548 |c electronic bk. |9 978-981-4360-54-8 | ||
| 024 | 7 | |a 10.1142/8201 |2 doi | |
| 035 | |a (ZDB-124-WOP)00002191 | ||
| 035 | |a (OCoLC)1012623653 | ||
| 035 | |a (DE-599)BVBBV044638660 | ||
| 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 < 2009, Singapore> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 11th Asian Logic Conference |b in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |c edited by Toshiyasu Arai ... [et al.] |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2012 | |
| 300 | |a x, 181 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting | ||
| 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 | |
| 700 | 1 | |a Arai, T. |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 9789814360531 (hbk.) |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9814360538 (hbk.) |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/8201#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030036634 | ||
| 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/8201#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178055776698368 |
|---|---|
| any_adam_object | |
| author_corporate | Asian Logic Conference < 2009, Singapore> |
| author_corporate_role | aut |
| author_facet | Asian Logic Conference < 2009, Singapore> |
| author_sort | Asian Logic Conference < 2009, Singapore> |
| building | Verbundindex |
| bvnumber | BV044638660 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00002191 (OCoLC)1012623653 (DE-599)BVBBV044638660 |
| 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>02425nmm a2200433zc 4500</leader><controlfield tag="001">BV044638660</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814360548</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4360-54-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/8201</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00002191</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012623653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044638660</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 < 2009, Singapore></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 11th Asian Logic Conference</subfield><subfield code="b">in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009</subfield><subfield code="c">edited by Toshiyasu Arai ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 181 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 Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting</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="700" ind1="1" ind2=" "><subfield code="a">Arai, T.</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">9789814360531 (hbk.)</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">9814360538 (hbk.)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/8201#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-030036634</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/8201#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.BV044638660 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:53Z |
| institution | BVB |
| isbn | 9789814360548 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030036634 |
| oclc_num | 1012623653 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | x, 181 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Asian Logic Conference < 2009, Singapore> Verfasser aut Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] Singapore World Scientific Pub. Co. c2012 x, 181 p. ill txt rdacontent c rdamedia cr rdacarrier The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting Logic, Symbolic and mathematical / Congresses 1\p (DE-588)1071861417 Konferenzschrift gnd-content Chong, C.-T. 1949- Sonstige oth Arai, T. Sonstige oth World Scientific (Firm) Sonstige oth Erscheint auch als Druck-Ausgabe 9789814360531 (hbk.) Erscheint auch als Druck-Ausgabe 9814360538 (hbk.) http://www.worldscientific.com/worldscibooks/10.1142/8201#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 Logic, Symbolic and mathematical / Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| title_auth | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| title_exact_search | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| title_full | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] |
| title_fullStr | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] |
| title_full_unstemmed | Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 edited by Toshiyasu Arai ... [et al.] |
| title_short | Proceedings of the 11th Asian Logic Conference |
| title_sort | proceedings of the 11th asian logic conference in honor of professor chong chitat on his 60th birthday national university of singapore singapore 22 27 june 2009 |
| title_sub | in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 |
| topic | Logic, Symbolic and mathematical / Congresses |
| topic_facet | Logic, Symbolic and mathematical / Congresses Konferenzschrift |
| url | http://www.worldscientific.com/worldscibooks/10.1142/8201#t=toc |
| work_keys_str_mv | AT asianlogicconference2009singapore proceedingsofthe11thasianlogicconferenceinhonorofprofessorchongchitatonhis60thbirthdaynationaluniversityofsingaporesingapore2227june2009 AT chongct proceedingsofthe11thasianlogicconferenceinhonorofprofessorchongchitatonhis60thbirthdaynationaluniversityofsingaporesingapore2227june2009 AT arait proceedingsofthe11thasianlogicconferenceinhonorofprofessorchongchitatonhis60thbirthdaynationaluniversityofsingaporesingapore2227june2009 AT worldscientificfirm proceedingsofthe11thasianlogicconferenceinhonorofprofessorchongchitatonhis60thbirthdaynationaluniversityofsingaporesingapore2227june2009 |