Developments in language theory: 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | , |
Format: | Tagungsbericht Buch |
Sprache: | English |
Veröffentlicht: |
Cham, Switzerland
Springer
[2023]
|
Schriftenreihe: | Lecture notes in computer science
13911 |
Schlagworte: | |
Beschreibung: | xx, 257 Seiten 71 Illustrationen, 34 in Farbe |
ISBN: | 9783031332630 |
Internformat
MARC
LEADER | 00000nam a2200000zcb4500 | ||
---|---|---|---|
001 | BV049042962 | ||
003 | DE-604 | ||
007 | t| | ||
008 | 230710s2023 xx a||| |||| 10||| eng d | ||
020 | |a 9783031332630 |9 978-3-031-33263-0 | ||
035 | |a (OCoLC)1390801992 | ||
035 | |a (DE-599)BVBBV049042962 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-83 | ||
082 | 0 | |a 004.0151 |2 23 | |
084 | |a DAT 555 |2 stub | ||
111 | 2 | |a DLT |n 27. |d 2023 |c Umeå |j Verfasser |0 (DE-588)1292526653 |4 aut | |
245 | 1 | 0 | |a Developments in language theory |b 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings |c Frank Drewes, Mikhail Volkov, editors |
264 | 1 | |a Cham, Switzerland |b Springer |c [2023] | |
264 | 4 | |c © 2023 | |
300 | |a xx, 257 Seiten |b 71 Illustrationen, 34 in Farbe | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 13911 | |
650 | 4 | |a Computer Science Logic and Foundations of Programming | |
650 | 4 | |a Formal Languages and Automata Theory | |
650 | 4 | |a Mathematics of Computing | |
650 | 4 | |a Computer Engineering and Networks | |
650 | 4 | |a Logic in AI. | |
650 | 4 | |a Natural Language Processing (NLP) | |
650 | 4 | |a Computer science | |
650 | 4 | |a Machine theory | |
650 | 4 | |a Computer science—Mathematics | |
650 | 4 | |a Computer engineering | |
650 | 4 | |a Computer networks | |
650 | 4 | |a Logic programming | |
650 | 4 | |a Natural language processing (Computer science) | |
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |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 |y 2023 |z Umeå |2 gnd-content | |
689 | 0 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 2 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 2 | |8 1\p |5 DE-604 | |
700 | 1 | |a Drewes, Frank |4 edt | |
700 | 1 | |a Volkov, Mikhail |4 edt | |
711 | 2 | |a WORDS |n 14. |d 2023 |c Umeå |0 (DE-588)1292526645 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-33264-7 |
830 | 0 | |a Lecture notes in computer science |v 13911 |w (DE-604)BV000000607 |9 13911 | |
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034305468 |
Datensatz im Suchindex
_version_ | 1820875834978729984 |
---|---|
adam_text | |
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author2 | Drewes, Frank Volkov, Mikhail |
author2_role | edt edt |
author2_variant | f d fd m v mv |
author_corporate | DLT Umeå |
author_corporate_role | aut |
author_facet | Drewes, Frank Volkov, Mikhail DLT Umeå |
author_sort | DLT Umeå |
building | Verbundindex |
bvnumber | BV049042962 |
classification_rvk | SS 4800 |
classification_tum | DAT 555 |
ctrlnum | (OCoLC)1390801992 (DE-599)BVBBV049042962 |
dewey-full | 004.0151 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.0151 |
dewey-search | 004.0151 |
dewey-sort | 14.0151 |
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>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049042962</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230710s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031332630</subfield><subfield code="9">978-3-031-33263-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1390801992</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049042962</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">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">DLT</subfield><subfield code="n">27.</subfield><subfield code="d">2023</subfield><subfield code="c">Umeå</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1292526653</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Developments in language theory</subfield><subfield code="b">27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings</subfield><subfield code="c">Frank Drewes, Mikhail Volkov, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</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, 257 Seiten</subfield><subfield code="b">71 Illustrationen, 34 in Farbe</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">13911</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">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Engineering and Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Language Processing (NLP)</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="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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="y">2023</subfield><subfield code="z">Umeå</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Drewes, Frank</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Volkov, Mikhail</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">WORDS</subfield><subfield code="n">14.</subfield><subfield code="d">2023</subfield><subfield code="c">Umeå</subfield><subfield code="0">(DE-588)1292526645</subfield><subfield code="4">oth</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-33264-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13911</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13911</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034305468</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2023 Umeå gnd-content |
genre_facet | Konferenzschrift 2023 Umeå |
id | DE-604.BV049042962 |
illustrated | Illustrated |
index_date | 2024-07-03T22:19:30Z |
indexdate | 2025-01-10T15:21:57Z |
institution | BVB |
institution_GND | (DE-588)1292526653 (DE-588)1292526645 |
isbn | 9783031332630 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034305468 |
oclc_num | 1390801992 |
open_access_boolean | |
owner | DE-83 |
owner_facet | DE-83 |
physical | xx, 257 Seiten 71 Illustrationen, 34 in Farbe |
publishDate | 2023 |
publishDateSearch | 2023 |
publishDateSort | 2023 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | DLT 27. 2023 Umeå Verfasser (DE-588)1292526653 aut Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings Frank Drewes, Mikhail Volkov, editors Cham, Switzerland Springer [2023] © 2023 xx, 257 Seiten 71 Illustrationen, 34 in Farbe txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13911 Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Machine theory Computer science—Mathematics Computer engineering Computer networks Logic programming Natural language processing (Computer science) Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2023 Umeå gnd-content Formale Sprache (DE-588)4017848-1 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s 1\p DE-604 Drewes, Frank edt Volkov, Mikhail edt WORDS 14. 2023 Umeå (DE-588)1292526645 oth Erscheint auch als Online-Ausgabe 978-3-031-33264-7 Lecture notes in computer science 13911 (DE-604)BV000000607 13911 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings Lecture notes in computer science Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Machine theory Computer science—Mathematics Computer engineering Computer networks Logic programming Natural language processing (Computer science) Theoretische Informatik (DE-588)4196735-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Formale Sprache (DE-588)4017848-1 gnd Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4196735-5 (DE-588)4033447-8 (DE-588)4017848-1 (DE-588)4036202-4 (DE-588)1071861417 |
title | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings |
title_auth | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings |
title_exact_search | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings |
title_exact_search_txtP | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings |
title_full | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings Frank Drewes, Mikhail Volkov, editors |
title_fullStr | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings Frank Drewes, Mikhail Volkov, editors |
title_full_unstemmed | Developments in language theory 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings Frank Drewes, Mikhail Volkov, editors |
title_short | Developments in language theory |
title_sort | developments in language theory 27th international conference dlt 2023 umea sweden june 12 16 2023 proceedings |
title_sub | 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023 : proceedings |
topic | Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Machine theory Computer science—Mathematics Computer engineering Computer networks Logic programming Natural language processing (Computer science) Theoretische Informatik (DE-588)4196735-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Formale Sprache (DE-588)4017848-1 gnd Logik (DE-588)4036202-4 gnd |
topic_facet | Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Machine theory Computer science—Mathematics Computer engineering Computer networks Logic programming Natural language processing (Computer science) Theoretische Informatik Künstliche Intelligenz Formale Sprache Logik Konferenzschrift 2023 Umeå |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT dltumea developmentsinlanguagetheory27thinternationalconferencedlt2023umeaswedenjune12162023proceedings AT drewesfrank developmentsinlanguagetheory27thinternationalconferencedlt2023umeaswedenjune12162023proceedings AT volkovmikhail developmentsinlanguagetheory27thinternationalconferencedlt2023umeaswedenjune12162023proceedings AT wordsumea developmentsinlanguagetheory27thinternationalconferencedlt2023umeaswedenjune12162023proceedings |