Technical communications of the 34th International Conference on Logic Programming: ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Saarbrücken/Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
November 2018
|
| Schriftenreihe: | OASIcs - OpenAccess Series in Informatics
Vol. 64 |
| Schlagworte: | |
| Online-Zugang: | kostenfrei kostenfrei http://nbn-resolving.org/urn:nbn:de:0030-drops-98979 kostenfrei |
| Beschreibung: | 1 Online-Ressource Illustrationen |
| Format: | Langzeitarchivierung gewährleistet, LZA |
| ISBN: | 9783959770903 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045330056 | ||
| 003 | DE-604 | ||
| 005 | 20190717 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181129s2018 gw |||| o||u| ||||||eng d | ||
| 015 | |a 18,O12 |2 dnb | ||
| 016 | 7 | |a 1171857675 |2 DE-101 | |
| 020 | |a 9783959770903 |9 978-3-95977-090-3 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-98979 |2 urn | |
| 035 | |a (OCoLC)1078670764 | ||
| 035 | |a (DE-599)DNB1171857675 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-SL | ||
| 049 | |a DE-91 | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a International Conference on Logic Programming |n 34. |d 2018 |c Oxford |j Verfasser |0 (DE-588)1172480745 |4 aut | |
| 245 | 1 | 0 | |a Technical communications of the 34th International Conference on Logic Programming |b ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom |c edited by Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, Paul Fodor |
| 264 | 1 | |a Saarbrücken/Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |c November 2018 | |
| 300 | |a 1 Online-Ressource |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a OASIcs - OpenAccess Series in Informatics |v Vol. 64 | |
| 538 | |a Langzeitarchivierung gewährleistet, LZA | ||
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 653 | |a Software and its engineering, Constraint and logic languages, Theory of computation, Logic, Constraint and logic programming | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dal Palu', Alessandro |4 edt | |
| 700 | 1 | |a Tarau, Paul |4 edt | |
| 700 | 1 | |a Saeedloei, Neda |4 edt | |
| 700 | 1 | |a Fodor, Paul |4 edt | |
| 830 | 0 | |a OASIcs - OpenAccess Series in Informatics |v Vol. 64 |w (DE-604)BV039164165 |9 64 | |
| 856 | 4 | 0 | |u http://d-nb.info/1171857675/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol64-iclp2018-complete.pdf |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u http://nbn-resolving.org/urn:nbn:de:0030-drops-98979 |x Resolving-System |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-95977-090-3 |x Verlag |z kostenfrei |3 Volltext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030716927 | ||
Datensatz im Suchindex
| _version_ | 1804179137355579392 |
|---|---|
| any_adam_object | |
| author2 | Dal Palu', Alessandro Tarau, Paul Saeedloei, Neda Fodor, Paul |
| author2_role | edt edt edt edt |
| author2_variant | p a d pa pad p t pt n s ns p f pf |
| author_corporate | International Conference on Logic Programming Oxford |
| author_corporate_role | aut |
| author_facet | Dal Palu', Alessandro Tarau, Paul Saeedloei, Neda Fodor, Paul International Conference on Logic Programming Oxford |
| author_sort | International Conference on Logic Programming Oxford |
| building | Verbundindex |
| bvnumber | BV045330056 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)1078670764 (DE-599)DNB1171857675 |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02426nmm a2200529zcb4500</leader><controlfield tag="001">BV045330056</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190717 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181129s2018 gw |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">18,O12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1171857675</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783959770903</subfield><subfield code="9">978-3-95977-090-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-98979</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1078670764</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1171857675</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-SL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">34.</subfield><subfield code="d">2018</subfield><subfield code="c">Oxford</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1172480745</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Technical communications of the 34th International Conference on Logic Programming</subfield><subfield code="b">ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom</subfield><subfield code="c">edited by Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, Paul Fodor</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken/Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing</subfield><subfield code="c">November 2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">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">OASIcs - OpenAccess Series in Informatics</subfield><subfield code="v">Vol. 64</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Langzeitarchivierung gewährleistet, LZA</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="653" ind1=" " ind2=" "><subfield code="a">Software and its engineering, Constraint and logic languages, Theory of computation, Logic, Constraint and logic programming</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dal Palu', Alessandro</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarau, Paul</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Saeedloei, Neda</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fodor, Paul</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">OASIcs - OpenAccess Series in Informatics</subfield><subfield code="v">Vol. 64</subfield><subfield code="w">(DE-604)BV039164165</subfield><subfield code="9">64</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/1171857675/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol64-iclp2018-complete.pdf</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://nbn-resolving.org/urn:nbn:de:0030-drops-98979</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-95977-090-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030716927</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV045330056 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:15:05Z |
| institution | BVB |
| institution_GND | (DE-588)1172480745 |
| isbn | 9783959770903 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030716927 |
| oclc_num | 1078670764 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource Illustrationen |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |
| record_format | marc |
| series | OASIcs - OpenAccess Series in Informatics |
| series2 | OASIcs - OpenAccess Series in Informatics |
| spelling | International Conference on Logic Programming 34. 2018 Oxford Verfasser (DE-588)1172480745 aut Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom edited by Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, Paul Fodor Saarbrücken/Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing November 2018 1 Online-Ressource Illustrationen txt rdacontent c rdamedia cr rdacarrier OASIcs - OpenAccess Series in Informatics Vol. 64 Langzeitarchivierung gewährleistet, LZA Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Software and its engineering, Constraint and logic languages, Theory of computation, Logic, Constraint and logic programming (DE-588)1071861417 Konferenzschrift gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Dal Palu', Alessandro edt Tarau, Paul edt Saeedloei, Neda edt Fodor, Paul edt OASIcs - OpenAccess Series in Informatics Vol. 64 (DE-604)BV039164165 64 http://d-nb.info/1171857675/34 Langzeitarchivierung Nationalbibliothek kostenfrei Volltext http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol64-iclp2018-complete.pdf Verlag kostenfrei Volltext http://nbn-resolving.org/urn:nbn:de:0030-drops-98979 Resolving-System http://www.dagstuhl.de/dagpub/978-3-95977-090-3 Verlag kostenfrei Volltext |
| spellingShingle | Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom OASIcs - OpenAccess Series in Informatics Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom |
| title_auth | Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom |
| title_exact_search | Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom |
| title_full | Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom edited by Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, Paul Fodor |
| title_fullStr | Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom edited by Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, Paul Fodor |
| title_full_unstemmed | Technical communications of the 34th International Conference on Logic Programming ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom edited by Alessandro Dal Palu', Paul Tarau, Neda Saeedloei, Paul Fodor |
| title_short | Technical communications of the 34th International Conference on Logic Programming |
| title_sort | technical communications of the 34th international conference on logic programming iclp 2018 july 14 17 2018 oxford united kingdom |
| title_sub | ICLP 2018, July 14–17, 2018 ,Oxford, United Kingdom |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Konferenzschrift |
| url | http://d-nb.info/1171857675/34 http://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol64-iclp2018-complete.pdf http://nbn-resolving.org/urn:nbn:de:0030-drops-98979 http://www.dagstuhl.de/dagpub/978-3-95977-090-3 |
| volume_link | (DE-604)BV039164165 |
| work_keys_str_mv | AT internationalconferenceonlogicprogrammingoxford technicalcommunicationsofthe34thinternationalconferenceonlogicprogrammingiclp2018july14172018oxfordunitedkingdom AT dalpalualessandro technicalcommunicationsofthe34thinternationalconferenceonlogicprogrammingiclp2018july14172018oxfordunitedkingdom AT taraupaul technicalcommunicationsofthe34thinternationalconferenceonlogicprogrammingiclp2018july14172018oxfordunitedkingdom AT saeedloeineda technicalcommunicationsofthe34thinternationalconferenceonlogicprogrammingiclp2018july14172018oxfordunitedkingdom AT fodorpaul technicalcommunicationsofthe34thinternationalconferenceonlogicprogrammingiclp2018july14172018oxfordunitedkingdom |