Declarative programming and knowledge management: Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2018]
|
| Schriftenreihe: | Lecture notes in artificial intelligence
10997 |
| Schlagworte: | |
| Online-Zugang: | 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 URL des Erstveröffentlichers |
| Beschreibung: | 1 Online-Ressource Illustrationen, Diagramme |
| ISBN: | 9783030008017 |
| DOI: | 10.1007/978-3-030-00801-7 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045275273 | ||
| 003 | DE-604 | ||
| 005 | 20241017 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181107s2018 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783030008017 |c Online |9 978-3-030-00801-7 | ||
| 024 | 7 | |a 10.1007/978-3-030-00801-7 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783030008017 | ||
| 035 | |a (ZDB-2-LNC)9783030008017 | ||
| 035 | |a (OCoLC)1065968196 | ||
| 035 | |a (DE-599)BVBBV045275273 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-860 |a DE-91 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-861 |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-384 |a DE-573 |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 540 |2 stub | ||
| 111 | 2 | |a DECLARE |d 2017 |c Würzburg |j Verfasser |0 (DE-588)116986483X |4 aut | |
| 245 | 1 | 0 | |a Declarative programming and knowledge management |b Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers |c Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.) |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2018] | |
| 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 10997 |a Artificial intelligence | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Numeric Computing | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 4 | |a Logic design | |
| 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 2017 |z Würzburg |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 | 3 | |a Deklarative Programmierung |0 (DE-588)4293503-9 |D s |
| 689 | 0 | 4 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 0 | 5 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |8 2\p |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 3\p |5 DE-604 | |
| 700 | 1 | |a Seipel, Dietmar |d 1962- |0 (DE-588)1145647049 |4 edt | |
| 700 | 1 | |a Hanus, Michael |d 1959- |0 (DE-588)1011507609 |4 edt | |
| 700 | 1 | |a Abreu, Salvador |d 1961- |0 (DE-588)1212818431 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-00800-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-030-00802-4 |
| 830 | 0 | |a Lecture notes in artificial intelligence |v 10997 |w (DE-604)BV014880109 |9 10997 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-00801-7 |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 | |
| 883 | 1 | |8 3\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_2018 | |
| 940 | 1 | |q ZDB-2-LNC_2018 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030662959 | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-634 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-Aug4 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-573 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-M347 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-92 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-898 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-859 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-860 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-861 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-863 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-862 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-523 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-91 |p ZDB-2-LNC |q ZDB-2-LNC_2018 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-473 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-703 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-20 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-29 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-030-00801-7 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 706753 |
|---|---|
| _version_ | 1820919887677095936 |
| adam_text | |
| any_adam_object | |
| author2 | Seipel, Dietmar 1962- Hanus, Michael 1959- Abreu, Salvador 1961- |
| author2_role | edt edt edt |
| author2_variant | d s ds m h mh s a sa |
| author_GND | (DE-588)1145647049 (DE-588)1011507609 (DE-588)1212818431 |
| author_corporate | DECLARE Würzburg |
| author_corporate_role | aut |
| author_facet | Seipel, Dietmar 1962- Hanus, Michael 1959- Abreu, Salvador 1961- DECLARE Würzburg |
| author_sort | DECLARE Würzburg |
| building | Verbundindex |
| bvnumber | BV045275273 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783030008017 (ZDB-2-LNC)9783030008017 (OCoLC)1065968196 (DE-599)BVBBV045275273 |
| 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 |
| doi_str_mv | 10.1007/978-3-030-00801-7 |
| 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">BV045275273</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241017</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181107s2018 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030008017</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-00801-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-00801-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030008017</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030008017</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1065968196</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045275273</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-355</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-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-384</subfield><subfield code="a">DE-573</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 540</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">DECLARE</subfield><subfield code="d">2017</subfield><subfield code="c">Würzburg</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)116986483X</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 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers</subfield><subfield code="c">Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</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">10997</subfield><subfield code="a">Artificial intelligence</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">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numeric Computing</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">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">Electronic data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</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">2017</subfield><subfield code="z">Würzburg</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="3"><subfield code="a">Deklarative Programmierung</subfield><subfield code="0">(DE-588)4293503-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><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">3\p</subfield><subfield code="5">DE-604</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="700" ind1="1" ind2=" "><subfield code="a">Hanus, Michael</subfield><subfield code="d">1959-</subfield><subfield code="0">(DE-588)1011507609</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-00800-0</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-00802-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in artificial intelligence</subfield><subfield code="v">10997</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">10997</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-00801-7</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="883" ind1="1" ind2=" "><subfield code="8">3\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_2018</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2018</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030662959</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-00801-7</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-00801-7</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-00801-7</subfield><subfield code="l">DE-573</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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-00801-7</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2018</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-00801-7</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-00801-7</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-00801-7</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-00801-7</subfield><subfield code="l">DE-355</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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-00801-7</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 2017 Würzburg gnd-content |
| genre_facet | Konferenzschrift 2017 Würzburg |
| id | DE-604.BV045275273 |
| illustrated | Illustrated |
| indexdate | 2025-01-11T04:02:08Z |
| institution | BVB |
| institution_GND | (DE-588)116986483X |
| isbn | 9783030008017 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030662959 |
| oclc_num | 1065968196 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 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-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 |
| owner_facet | DE-355 DE-BY-UBR DE-860 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 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-384 DE-573 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_2018 ZDB-2-LNC_2018 ZDB-2-LNC ZDB-2-LNC_2018 |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in artificial intelligence |
| series2 | Lecture notes in computer science Artificial intelligence |
| spellingShingle | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers Lecture notes in artificial intelligence Artificial Intelligence (incl. Robotics) Programming Techniques Software Engineering Numeric Computing Logics and Meanings of Programs Artificial intelligence Computer science Software engineering Electronic data processing Logic design 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 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers |
| title_auth | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers |
| title_exact_search | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers |
| title_full | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.) |
| title_fullStr | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.) |
| title_full_unstemmed | Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.) |
| title_short | Declarative programming and knowledge management |
| title_sort | declarative programming and knowledge management conference on declarative programming declare 2017 unifying inap wflp and wlp wurzburg germany september 19 22 2017 revised selected papers |
| title_sub | Conference on Declarative Programming, DECLARE 2017 : unifying INAP, WFLP, and WLP : Würzburg, Germany, September 19-22, 2017 : revised selected papers |
| topic | Artificial Intelligence (incl. Robotics) Programming Techniques Software Engineering Numeric Computing Logics and Meanings of Programs Artificial intelligence Computer science Software engineering Electronic data processing Logic design 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 (incl. Robotics) Programming Techniques Software Engineering Numeric Computing Logics and Meanings of Programs Artificial intelligence Computer science Software engineering Electronic data processing Logic design Mathematische Logik Künstliche Intelligenz Deklarative Programmierung Logische Programmierung Wissensbasiertes System Programmierung Konferenzschrift 2017 Würzburg |
| url | https://doi.org/10.1007/978-3-030-00801-7 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT declarewurzburg declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2017unifyinginapwflpandwlpwurzburggermanyseptember19222017revisedselectedpapers AT seipeldietmar declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2017unifyinginapwflpandwlpwurzburggermanyseptember19222017revisedselectedpapers AT hanusmichael declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2017unifyinginapwflpandwlpwurzburggermanyseptember19222017revisedselectedpapers AT abreusalvador declarativeprogrammingandknowledgemanagementconferenceondeclarativeprogrammingdeclare2017unifyinginapwflpandwlpwurzburggermanyseptember19222017revisedselectedpapers |