Logics in artificial intelligence: 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham
Springer
[2019]
|
| Schriftenreihe: | Lecture notes in computer science
11468 : Lecture notes in artificial intelligence |
| Schlagwörter: | |
| Umfang: | xv, 822 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030195694 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV045904205 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 190529s2019 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030195694 |9 978-3-030-19569-4 | ||
| 035 | |a (OCoLC)1103507690 | ||
| 035 | |a (DE-599)BVBBV045904205 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 111 | 2 | |a JELIA |n 16. |d 2019 |c Rende |j Verfasser |0 (DE-588)1187179035 |4 aut | |
| 245 | 1 | 0 | |a Logics in artificial intelligence |b 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings |c Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 264 | 4 | |c © 2019 | |
| 300 | |a xv, 822 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 |v 11468 |a Lecture notes in artificial intelligence | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Database management | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Database Management | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |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 2019 |z Rende |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Calimeri, Francesco |d 1976- |0 (DE-588)1076806767 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-19570-0 |
| 830 | 0 | |a Lecture notes in computer science |v 11468 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 11468 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\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-031286956 | |
Datensatz im Suchindex
| _version_ | 1820980705913470976 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Calimeri, Francesco 1976- |
| author2_role | edt |
| author2_variant | f c fc |
| author_GND | (DE-588)1076806767 |
| author_corporate | JELIA Rende |
| author_corporate_role | aut |
| author_facet | Calimeri, Francesco 1976- JELIA Rende |
| author_sort | JELIA Rende |
| building | Verbundindex |
| bvnumber | BV045904205 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1103507690 (DE-599)BVBBV045904205 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV045904205</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">190529s2019 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030195694</subfield><subfield code="9">978-3-030-19569-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1103507690</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045904205</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="111" ind1="2" ind2=" "><subfield code="a">JELIA</subfield><subfield code="n">16.</subfield><subfield code="d">2019</subfield><subfield code="c">Rende</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1187179035</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">16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings</subfield><subfield code="c">Francesco Calimeri, Nicola Leone, Marco Manna (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 822 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="v">11468</subfield><subfield code="a">Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management</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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">2019</subfield><subfield code="z">Rende</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Calimeri, Francesco</subfield><subfield code="d">1976-</subfield><subfield code="0">(DE-588)1076806767</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-030-19570-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11468 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11468</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="883" ind1="1" ind2=" "><subfield code="8">2\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-031286956</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Rende gnd-content |
| genre_facet | Konferenzschrift 2019 Rende |
| id | DE-604.BV045904205 |
| illustrated | Illustrated |
| indexdate | 2025-01-11T19:08:49Z |
| institution | BVB |
| institution_GND | (DE-588)1187179035 |
| isbn | 9783030195694 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031286956 |
| oclc_num | 1103507690 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xv, 822 Seiten Illustrationen, Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science Lecture notes in artificial intelligence |
| spelling | JELIA 16. 2019 Rende Verfasser (DE-588)1187179035 aut Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings Francesco Calimeri, Nicola Leone, Marco Manna (eds.) Cham Springer [2019] © 2019 xv, 822 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11468 Lecture notes in artificial intelligence Computer science Software engineering Computer logic Mathematical logic Database management Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Database Management Informatik Künstliche Intelligenz Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2019 Rende gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Logik (DE-588)4036202-4 s 1\p DE-604 Logische Programmierung (DE-588)4195096-3 s 2\p DE-604 Calimeri, Francesco 1976- (DE-588)1076806767 edt Erscheint auch als Online-Ausgabe 978-3-030-19570-0 Lecture notes in computer science 11468 : Lecture notes in artificial intelligence (DE-604)BV000000607 11468 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings Lecture notes in computer science Computer science Software engineering Computer logic Mathematical logic Database management Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Database Management Informatik Künstliche Intelligenz Künstliche Intelligenz (DE-588)4033447-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4195096-3 (DE-588)4036202-4 (DE-588)1071861417 |
| title | Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings |
| title_auth | Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings |
| title_exact_search | Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings |
| title_full | Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
| title_fullStr | Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
| title_full_unstemmed | Logics in artificial intelligence 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings Francesco Calimeri, Nicola Leone, Marco Manna (eds.) |
| title_short | Logics in artificial intelligence |
| title_sort | logics in artificial intelligence 16th european conference jelia 2019 rende italy may 7 11 2019 proceedings |
| title_sub | 16th European conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings |
| topic | Computer science Software engineering Computer logic Mathematical logic Database management Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Database Management Informatik Künstliche Intelligenz Künstliche Intelligenz (DE-588)4033447-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Computer science Software engineering Computer logic Mathematical logic Database management Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Database Management Informatik Künstliche Intelligenz Logische Programmierung Logik Konferenzschrift 2019 Rende |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jeliarende logicsinartificialintelligence16theuropeanconferencejelia2019rendeitalymay7112019proceedings AT calimerifrancesco logicsinartificialintelligence16theuropeanconferencejelia2019rendeitalymay7112019proceedings |