Logic and argumentation: 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in artificial intelligence
14156 |
| Schlagworte: | |
| Beschreibung: | xx, 223 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031408748 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049355460 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 231009s2023 a||| |||| 10||| eng d | ||
| 020 | |a 9783031408748 |9 978-3-031-40874-8 | ||
| 035 | |a (OCoLC)1393035238 | ||
| 035 | |a (DE-599)BVBBV049355460 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a CLAR |n 5. |d 2023 |c Hangzhou |j Verfasser |0 (DE-588)1305414314 |4 aut | |
| 245 | 1 | 0 | |a Logic and argumentation |b 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings |c Andreas Herzig, Jieting Luo, Pere Pardo, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xx, 223 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |a Lecture notes in artificial intelligence |v 14156 | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Compilers and Interpreters | |
| 650 | 4 | |a Design and Analysis of Algorithms | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Machine theory | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Hangzhou |2 gnd-content | |
| 700 | 1 | |a Herzig, Andreas |0 (DE-588)1205350314 |4 edt | |
| 700 | 1 | |a Luo, Jieting |4 edt | |
| 700 | 1 | |a Pardo, Pere |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-40875-5 |
| 830 | 0 | |a Lecture notes in artificial intelligence |v 14156 |w (DE-604)BV000000607 |9 14156 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034615712 | ||
Datensatz im Suchindex
| _version_ | 1804185891234643968 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Herzig, Andreas Luo, Jieting Pardo, Pere |
| author2_role | edt edt edt |
| author2_variant | a h ah j l jl p p pp |
| author_GND | (DE-588)1205350314 |
| author_corporate | CLAR Hangzhou |
| author_corporate_role | aut |
| author_facet | Herzig, Andreas Luo, Jieting Pardo, Pere CLAR Hangzhou |
| author_sort | CLAR Hangzhou |
| building | Verbundindex |
| bvnumber | BV049355460 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1393035238 (DE-599)BVBBV049355460 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01967nam a2200529zcb4500</leader><controlfield tag="001">BV049355460</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">231009s2023 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031408748</subfield><subfield code="9">978-3-031-40874-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1393035238</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049355460</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CLAR</subfield><subfield code="n">5.</subfield><subfield code="d">2023</subfield><subfield code="c">Hangzhou</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1305414314</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and argumentation</subfield><subfield code="b">5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings</subfield><subfield code="c">Andreas Herzig, Jieting Luo, Pere Pardo, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xx, 223 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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="a">Lecture notes in artificial intelligence</subfield><subfield code="v">14156</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers and Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Design and Analysis of Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Languages and Automata Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Hangzhou</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Herzig, Andreas</subfield><subfield code="0">(DE-588)1205350314</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Luo, Jieting</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pardo, Pere</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-031-40875-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in artificial intelligence</subfield><subfield code="v">14156</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14156</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034615712</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Hangzhou gnd-content |
| genre_facet | Konferenzschrift 2023 Hangzhou |
| id | DE-604.BV049355460 |
| illustrated | Illustrated |
| index_date | 2024-07-03T22:51:03Z |
| indexdate | 2024-07-10T10:02:26Z |
| institution | BVB |
| institution_GND | (DE-588)1305414314 |
| isbn | 9783031408748 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034615712 |
| oclc_num | 1393035238 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xx, 223 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in artificial intelligence |
| series2 | Lecture notes in computer science Lecture notes in artificial intelligence |
| spelling | CLAR 5. 2023 Hangzhou Verfasser (DE-588)1305414314 aut Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings Andreas Herzig, Jieting Luo, Pere Pardo, editors Cham Springer [2023] © 2023 xx, 223 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Lecture notes in artificial intelligence 14156 Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial intelligence Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory (DE-588)1071861417 Konferenzschrift 2023 Hangzhou gnd-content Herzig, Andreas (DE-588)1205350314 edt Luo, Jieting edt Pardo, Pere edt Erscheint auch als Online-Ausgabe 978-3-031-40875-5 Lecture notes in artificial intelligence 14156 (DE-604)BV000000607 14156 |
| spellingShingle | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings Lecture notes in artificial intelligence Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial intelligence Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory |
| subject_GND | (DE-588)1071861417 |
| title | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings |
| title_auth | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings |
| title_exact_search | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings |
| title_exact_search_txtP | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings |
| title_full | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings Andreas Herzig, Jieting Luo, Pere Pardo, editors |
| title_fullStr | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings Andreas Herzig, Jieting Luo, Pere Pardo, editors |
| title_full_unstemmed | Logic and argumentation 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings Andreas Herzig, Jieting Luo, Pere Pardo, editors |
| title_short | Logic and argumentation |
| title_sort | logic and argumentation 5th international conference clar 2023 hangzhou china september 10 12 2023 proceedings |
| title_sub | 5th international conference, CLAR 2023, Hangzhou, China, September 10-12, 2023 : proceedings |
| topic | Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial intelligence Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory |
| topic_facet | Artificial Intelligence Programming Techniques Compilers and Interpreters Design and Analysis of Algorithms Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial intelligence Computer programming Compilers (Computer programs) Algorithms Computer science Machine theory Konferenzschrift 2023 Hangzhou |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT clarhangzhou logicandargumentation5thinternationalconferenceclar2023hangzhouchinaseptember10122023proceedings AT herzigandreas logicandargumentation5thinternationalconferenceclar2023hangzhouchinaseptember10122023proceedings AT luojieting logicandargumentation5thinternationalconferenceclar2023hangzhouchinaseptember10122023proceedings AT pardopere logicandargumentation5thinternationalconferenceclar2023hangzhouchinaseptember10122023proceedings |