Declarative programming and knowledge management: Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , , , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland
Springer
[2020]
|
| Series: | Lecture notes in artificial intelligence
12057 |
| Subjects: | |
| Online Access: | DE-634 DE-Aug4 DE-573 DE-M347 DE-92 DE-898 DE-859 DE-860 DE-861 DE-863 DE-862 DE-523 DE-91 DE-384 DE-473 DE-19 DE-355 DE-703 DE-20 DE-706 DE-29 DE-739 Volltext |
| Physical Description: | 1 Online-Ressource Illustrationen, Diagramme |
| ISBN: | 9783030467142 |
| DOI: | 10.1007/978-3-030-46714-2 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046747445 | ||
| 003 | DE-604 | ||
| 005 | 20220503 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 200604s2020 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783030467142 |9 978-3-030-46714-2 | ||
| 024 | 7 | |a 10.1007/978-3-030-46714-2 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783030467142 | ||
| 035 | |a (ZDB-2-LNC)9783030467142 | ||
| 035 | |a (OCoLC)1164608438 | ||
| 035 | |a (DE-599)BVBBV046747445 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-573 |a DE-860 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-188 |a DE-523 |a DE-859 |a DE-473 |a DE-29 |a DE-863 |a DE-20 |a DE-862 |a DE-92 |a DE-355 |a DE-384 |a DE-M347 |a DE-703 |a DE-706 |a DE-739 |a DE-634 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a DAT 706 |2 stub | ||
| 084 | |a DAT 652 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a DECLARE |d 2019 |c Cottbus |j Verfasser |0 (DE-588)1212452364 |4 aut | |
| 245 | 1 | 0 | |a Declarative programming and knowledge management |b Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers |c Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.) |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2020] | |
| 300 | |a 1 Online-Ressource |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 12057 |a Lecture notes in artificial intelligence | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Information Systems and Communication Service | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |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 Deklarative Programmierung |0 (DE-588)4293503-9 |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 Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 2019 |z Cottbus |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 2 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 1 | 1 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 1 | 2 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Hofstedt, Petra |0 (DE-588)1017108773 |4 edt | |
| 700 | 1 | |a Abreu, Salvador |d 1961- |0 (DE-588)1212818431 |4 edt | |
| 700 | 1 | |a John, Ulrich |4 edt | |
| 700 | 1 | |a Kuchen, Herbert |d 1958- |0 (DE-588)174091117 |4 edt | |
| 700 | 1 | |a Seipel, Dietmar |d 1962- |0 (DE-588)1145647049 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-46713-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-46715-9 |
| 830 | 0 | |a Lecture notes in artificial intelligence |v 12057 |w (DE-604)BV014880109 |9 12057 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-46714-2 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 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 | |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2020 | |
| 940 | 1 | |q ZDB-2-LNC_2020 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032157233 | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-573 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-898 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-860 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-863 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-862 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-523 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-91 |p ZDB-2-LNC |q ZDB-2-LNC_2020 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-355 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-46714-2 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 760173 |
|---|---|
| _version_ | 1824555925635072000 |
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Hofstedt, Petra Abreu, Salvador 1961- John, Ulrich Kuchen, Herbert 1958- Seipel, Dietmar 1962- |
| author2_role | edt edt edt edt edt |
| author2_variant | p h ph s a sa u j uj h k hk d s ds |
| author_GND | (DE-588)1017108773 (DE-588)1212818431 (DE-588)174091117 (DE-588)1145647049 |
| author_corporate | DECLARE Cottbus |
| author_corporate_role | aut |
| author_facet | Hofstedt, Petra Abreu, Salvador 1961- John, Ulrich Kuchen, Herbert 1958- Seipel, Dietmar 1962- DECLARE Cottbus |
| author_sort | DECLARE Cottbus |
| building | Verbundindex |
| bvnumber | BV046747445 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706 DAT 652 DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783030467142 (ZDB-2-LNC)9783030467142 (OCoLC)1164608438 (DE-599)BVBBV046747445 |
| 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 |
| doi_str_mv | 10.1007/978-3-030-46714-2 |
| format | Electronic Conference Proceeding 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">BV046747445</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220503</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">200604s2020 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030467142</subfield><subfield code="9">978-3-030-46714-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-46714-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030467142</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030467142</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164608438</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046747445</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-573</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</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 706</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 652</subfield><subfield code="2">stub</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">DECLARE</subfield><subfield code="d">2019</subfield><subfield code="c">Cottbus</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1212452364</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Declarative programming and knowledge management</subfield><subfield code="b">Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers</subfield><subfield code="c">Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12057</subfield><subfield code="a">Lecture notes in artificial intelligence</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">Programming Languages, Compilers, Interpreters</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">Information Systems and Communication Service</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</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">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</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">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2019</subfield><subfield code="z">Cottbus</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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">Hofstedt, Petra</subfield><subfield code="0">(DE-588)1017108773</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abreu, Salvador</subfield><subfield code="d">1961-</subfield><subfield code="0">(DE-588)1212818431</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">John, Ulrich</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kuchen, Herbert</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)174091117</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seipel, Dietmar</subfield><subfield code="d">1962-</subfield><subfield code="0">(DE-588)1145647049</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-3-030-46713-5</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-3-030-46715-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in artificial intelligence</subfield><subfield code="v">12057</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">12057</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-46714-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2020</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2020</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032157233</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-46714-2</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SCS</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-3-030-46714-2</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2020</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-3-030-46714-2</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</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-3-030-46714-2</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 2019 Cottbus gnd-content |
| genre_facet | Konferenzschrift 2019 Cottbus |
| id | DE-604.BV046747445 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:41:07Z |
| indexdate | 2025-02-20T07:15:25Z |
| institution | BVB |
| institution_GND | (DE-588)1212452364 |
| isbn | 9783030467142 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032157233 |
| oclc_num | 1164608438 |
| open_access_boolean | |
| owner | DE-573 DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-384 DE-M347 DE-703 DE-706 DE-739 DE-634 |
| owner_facet | DE-573 DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-384 DE-M347 DE-703 DE-706 DE-739 DE-634 |
| physical | 1 Online-Ressource Illustrationen, Diagramme |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2020 ZDB-2-LNC_2020 ZDB-2-LNC ZDB-2-LNC_2020 |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in artificial intelligence |
| series2 | Lecture notes in computer science Lecture notes in artificial intelligence |
| spellingShingle | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers Lecture notes in artificial intelligence Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Information Systems and Communication Service Computer Communication Networks Artificial intelligence Computer programming Programming languages (Electronic computers) Mathematical logic Computers Computer communication systems Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Deklarative Programmierung (DE-588)4293503-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4033447-8 (DE-588)4293503-9 (DE-588)4195096-3 (DE-588)4197554-6 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers |
| title_auth | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers |
| title_exact_search | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers |
| title_exact_search_txtP | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers |
| title_full | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.) |
| title_fullStr | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.) |
| title_full_unstemmed | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel (eds.) |
| title_short | Declarative programming and knowledge management |
| title_sort | declarative programming and knowledge management conference on declarative programming declare 2019 unifying inap wlp and wflp cottbus germany september 9 12 2019 revised selected papers |
| title_sub | Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019 : revised selected papers |
| topic | Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Information Systems and Communication Service Computer Communication Networks Artificial intelligence Computer programming Programming languages (Electronic computers) Mathematical logic Computers Computer communication systems Mathematische Logik (DE-588)4037951-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Deklarative Programmierung (DE-588)4293503-9 gnd Logische Programmierung (DE-588)4195096-3 gnd Wissensbasiertes System (DE-588)4197554-6 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Information Systems and Communication Service Computer Communication Networks Artificial intelligence Computer programming Programming languages (Electronic computers) Mathematical logic Computers Computer communication systems Mathematische Logik Künstliche Intelligenz Deklarative Programmierung Logische Programmierung Wissensbasiertes System Programmierung Konferenzschrift 2019 Cottbus |
| url | https://doi.org/10.1007/978-3-030-46714-2 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT declarecottbus declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2019unifyinginapwlpandwflpcottbusgermanyseptember9122019revisedselectedpapers AT hofstedtpetra declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2019unifyinginapwlpandwflpcottbusgermanyseptember9122019revisedselectedpapers AT abreusalvador declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2019unifyinginapwlpandwflpcottbusgermanyseptember9122019revisedselectedpapers AT johnulrich declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2019unifyinginapwlpandwflpcottbusgermanyseptember9122019revisedselectedpapers AT kuchenherbert declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2019unifyinginapwlpandwflpcottbusgermanyseptember9122019revisedselectedpapers AT seipeldietmar declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2019unifyinginapwlpandwflpcottbusgermanyseptember9122019revisedselectedpapers |