Logics in artificial intelligence: 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2023]
|
| Series: | Lecture notes in artificial intelligence
14281 |
| Subjects: | |
| Physical Description: | xviii, 831 Seiten Illustrationen |
| ISBN: | 9783031436185 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049475359 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 231220s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031436185 |9 978-3-031-43618-5 | ||
| 035 | |a (OCoLC)1407070377 | ||
| 035 | |a (DE-599)BVBBV049475359 | ||
| 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 DAT 000 |2 stub | ||
| 111 | 2 | |a JELIA |n 18. |d 2023 |c Dresden |j Verfasser |0 (DE-588)1309258740 |4 aut | |
| 245 | 1 | 0 | |a Logics in artificial intelligence |b 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings |c Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xviii, 831 Seiten |b Illustrationen | ||
| 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 14281 | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Computer and Information Systems Applications | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Computers, Special purpose | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Computer programming | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Dresden |2 gnd-content | |
| 700 | 1 | |a Gaggl, Sarah |4 edt | |
| 700 | 1 | |a Martinez, Maria Vanina |4 edt | |
| 700 | 1 | |a Ortiz, Magdalena |0 (DE-588)1267713798 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-43619-2 |
| 830 | 0 | |a Lecture notes in artificial intelligence |v 14281 |w (DE-604)BV000000607 |9 14281 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034820888 | |
Record in the Search Index
| _version_ | 1820875839016796160 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Gaggl, Sarah Martinez, Maria Vanina Ortiz, Magdalena |
| author2_role | edt edt edt |
| author2_variant | s g sg m v m mv mvm m o mo |
| author_GND | (DE-588)1267713798 |
| author_corporate | JELIA Dresden |
| author_corporate_role | aut |
| author_facet | Gaggl, Sarah Martinez, Maria Vanina Ortiz, Magdalena JELIA Dresden |
| author_sort | JELIA Dresden |
| building | Verbundindex |
| bvnumber | BV049475359 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1407070377 (DE-599)BVBBV049475359 |
| 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>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049475359</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">231220s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031436185</subfield><subfield code="9">978-3-031-43618-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1407070377</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049475359</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">JELIA</subfield><subfield code="n">18.</subfield><subfield code="d">2023</subfield><subfield code="c">Dresden</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1309258740</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logics in artificial intelligence</subfield><subfield code="b">18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings</subfield><subfield code="c">Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, 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">xviii, 831 Seiten</subfield><subfield code="b">Illustrationen</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">14281</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 and Information Systems Applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</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">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers, Special purpose</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 programming</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">Dresden</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gaggl, Sarah</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Martinez, Maria Vanina</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ortiz, Magdalena</subfield><subfield code="0">(DE-588)1267713798</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-43619-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in artificial intelligence</subfield><subfield code="v">14281</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14281</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034820888</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Dresden gnd-content |
| genre_facet | Konferenzschrift 2023 Dresden |
| id | DE-604.BV049475359 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:17:17Z |
| indexdate | 2025-01-10T15:22:00Z |
| institution | BVB |
| institution_GND | (DE-588)1309258740 |
| isbn | 9783031436185 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034820888 |
| oclc_num | 1407070377 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xviii, 831 Seiten Illustrationen |
| 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 | JELIA 18. 2023 Dresden Verfasser (DE-588)1309258740 aut Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors Cham Springer [2023] © 2023 xviii, 831 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Lecture notes in artificial intelligence 14281 Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques Artificial intelligence Application software Computers, Special purpose Computer science Machine theory Computer programming (DE-588)1071861417 Konferenzschrift 2023 Dresden gnd-content Gaggl, Sarah edt Martinez, Maria Vanina edt Ortiz, Magdalena (DE-588)1267713798 edt Erscheint auch als Online-Ausgabe 978-3-031-43619-2 Lecture notes in artificial intelligence 14281 (DE-604)BV000000607 14281 |
| spellingShingle | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings Lecture notes in artificial intelligence Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques Artificial intelligence Application software Computers, Special purpose Computer science Machine theory Computer programming |
| subject_GND | (DE-588)1071861417 |
| title | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings |
| title_auth | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings |
| title_exact_search | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings |
| title_exact_search_txtP | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings |
| title_full | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors |
| title_fullStr | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors |
| title_full_unstemmed | Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors |
| title_short | Logics in artificial intelligence |
| title_sort | logics in artificial intelligence 18th european conference jelia 2023 dresden germany september 20 22 2023 proceedings |
| title_sub | 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings |
| topic | Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques Artificial intelligence Application software Computers, Special purpose Computer science Machine theory Computer programming |
| topic_facet | Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques Artificial intelligence Application software Computers, Special purpose Computer science Machine theory Computer programming Konferenzschrift 2023 Dresden |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jeliadresden logicsinartificialintelligence18theuropeanconferencejelia2023dresdengermanyseptember20222023proceedings AT gagglsarah logicsinartificialintelligence18theuropeanconferencejelia2023dresdengermanyseptember20222023proceedings AT martinezmariavanina logicsinartificialintelligence18theuropeanconferencejelia2023dresdengermanyseptember20222023proceedings AT ortizmagdalena logicsinartificialintelligence18theuropeanconferencejelia2023dresdengermanyseptember20222023proceedings |