Artificial Intelligence Logic and Applications: 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore
Springer Nature Singapore
2025
Singapore Springer |
| Edition: | 1st ed. 2025 |
| Series: | Communications in Computer and Information Science
2248 |
| Subjects: | |
| Online Access: | DE-522 DE-634 DE-1043 DE-1102 DE-1046 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-859 DE-860 DE-1049 DE-863 DE-862 DE-91 DE-384 DE-703 DE-706 DE-824 DE-29 Volltext |
| Physical Description: | 1 Online-Ressource (XIII, 326 p. 104 illus., 86 illus. in color) |
| ISBN: | 9789819603541 |
| ISSN: | 1865-0937 |
| DOI: | 10.1007/978-981-96-0354-1 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV050150533 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 250204s2025 xx o|||| 00||| eng d | ||
| 020 | |a 9789819603541 |c Online |9 978-981-9603-54-1 | ||
| 024 | 7 | |a 10.1007/978-981-96-0354-1 |2 doi | |
| 035 | |a (ZDB-2-SPAI)9789819603541 | ||
| 035 | |a (OCoLC)1498791834 | ||
| 035 | |a (DE-599)BVBBV050150533 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-M347 |a DE-29 |a DE-Aug4 |a DE-863 |a DE-860 |a DE-1043 |a DE-859 |a DE-384 |a DE-1049 |a DE-1050 |a DE-706 |a DE-1028 |a DE-703 |a DE-92 |a DE-862 |a DE-1046 |a DE-898 |a DE-824 |a DE-1102 |a DE-522 |a DE-634 |a DE-573 |a DE-1051 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 245 | 1 | 0 | |a Artificial Intelligence Logic and Applications |b 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings |c edited by Songmao Zhang, Luis Soares Barbosa |
| 250 | |a 1st ed. 2025 | ||
| 264 | 1 | |a Singapore |b Springer Nature Singapore |c 2025 | |
| 264 | 1 | |a Singapore |b Springer | |
| 300 | |a 1 Online-Ressource (XIII, 326 p. 104 illus., 86 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Communications in Computer and Information Science |v 2248 |x 1865-0937 | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Machine theory | |
| 700 | 1 | |a Zhang, Songmao |4 edt | |
| 700 | 1 | |a Barbosa, Luis Soares |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-981-9603-53-4 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-981-9603-55-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-96-0354-1 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SPAI | ||
| 940 | 1 | |q ZDB-2-SPAI_2025 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035486864 | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-522 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-634 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-1043 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-1102 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-1046 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-1028 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-Aug4 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-1050 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-573 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-M347 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-92 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-1051 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-898 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-859 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-860 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-1049 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-863 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-862 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-91 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-384 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-703 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-706 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-824 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-96-0354-1 |l DE-29 |p ZDB-2-SPAI |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1827170970151944192 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Zhang, Songmao Barbosa, Luis Soares |
| author2_role | edt edt |
| author2_variant | s z sz l s b ls lsb |
| author_facet | Zhang, Songmao Barbosa, Luis Soares |
| building | Verbundindex |
| bvnumber | BV050150533 |
| collection | ZDB-2-SPAI |
| ctrlnum | (ZDB-2-SPAI)9789819603541 (OCoLC)1498791834 (DE-599)BVBBV050150533 |
| 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 |
| doi_str_mv | 10.1007/978-981-96-0354-1 |
| edition | 1st ed. 2025 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV050150533</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">250204s2025 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789819603541</subfield><subfield code="c">Online</subfield><subfield code="9">978-981-9603-54-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-981-96-0354-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SPAI)9789819603541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1498791834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV050150533</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-91</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1051</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Artificial Intelligence Logic and Applications</subfield><subfield code="b">4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings</subfield><subfield code="c">edited by Songmao Zhang, Luis Soares Barbosa</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2025</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer Nature Singapore</subfield><subfield code="c">2025</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 326 p. 104 illus., 86 illus. in color)</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="490" ind1="0" ind2=" "><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">2248</subfield><subfield code="x">1865-0937</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</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">Software Engineering</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">Computer science</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 science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhang, Songmao</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barbosa, Luis Soares</subfield><subfield code="4">edt</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">978-981-9603-53-4</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">978-981-9603-55-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SPAI</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SPAI_2025</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035486864</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-1102</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-1028</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-1051</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-96-0354-1</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SPAI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV050150533 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-21T04:00:25Z |
| institution | BVB |
| isbn | 9789819603541 |
| issn | 1865-0937 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035486864 |
| oclc_num | 1498791834 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-M347 DE-29 DE-Aug4 DE-863 DE-BY-FWS DE-860 DE-1043 DE-859 DE-384 DE-1049 DE-1050 DE-706 DE-1028 DE-703 DE-92 DE-862 DE-BY-FWS DE-1046 DE-898 DE-BY-UBR DE-824 DE-1102 DE-522 DE-634 DE-573 DE-1051 |
| owner_facet | DE-91 DE-BY-TUM DE-M347 DE-29 DE-Aug4 DE-863 DE-BY-FWS DE-860 DE-1043 DE-859 DE-384 DE-1049 DE-1050 DE-706 DE-1028 DE-703 DE-92 DE-862 DE-BY-FWS DE-1046 DE-898 DE-BY-UBR DE-824 DE-1102 DE-522 DE-634 DE-573 DE-1051 |
| physical | 1 Online-Ressource (XIII, 326 p. 104 illus., 86 illus. in color) |
| psigel | ZDB-2-SPAI ZDB-2-SPAI_2025 |
| publishDate | 2025 |
| publishDateSearch | 2025 |
| publishDateSort | 2025 |
| publisher | Springer Nature Singapore Springer |
| record_format | marc |
| series2 | Communications in Computer and Information Science |
| spellingShingle | Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings Theory of Computation Artificial Intelligence Mathematics of Computing Software Engineering Formal Languages and Automata Theory Computer science Artificial intelligence Computer science / Mathematics Software engineering Machine theory |
| title | Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings |
| title_auth | Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings |
| title_exact_search | Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings |
| title_full | Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings edited by Songmao Zhang, Luis Soares Barbosa |
| title_fullStr | Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings edited by Songmao Zhang, Luis Soares Barbosa |
| title_full_unstemmed | Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings edited by Songmao Zhang, Luis Soares Barbosa |
| title_short | Artificial Intelligence Logic and Applications |
| title_sort | artificial intelligence logic and applications 4th international conference aila 2024 lanzhou china august 10 11 2024 proceedings |
| title_sub | 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings |
| topic | Theory of Computation Artificial Intelligence Mathematics of Computing Software Engineering Formal Languages and Automata Theory Computer science Artificial intelligence Computer science / Mathematics Software engineering Machine theory |
| topic_facet | Theory of Computation Artificial Intelligence Mathematics of Computing Software Engineering Formal Languages and Automata Theory Computer science Artificial intelligence Computer science / Mathematics Software engineering Machine theory |
| url | https://doi.org/10.1007/978-981-96-0354-1 |
| work_keys_str_mv | AT zhangsongmao artificialintelligencelogicandapplications4thinternationalconferenceaila2024lanzhouchinaaugust10112024proceedings AT barbosaluissoares artificialintelligencelogicandapplications4thinternationalconferenceaila2024lanzhouchinaaugust10112024proceedings |