Technical Communications of the 33rd International Conference on Logic Programming: ICLP 2017, August 28–September 1, 2017, Melbourne, Australia
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
February, 2018
|
| Schriftenreihe: | OASIcs- OpenAccess Series in Informatics
Vol. 58 |
| Schlagworte: | |
| Online-Zugang: | Volltext kostenfrei Volltext Volltext |
| Beschreibung: | 1 Online-Ressource Illustrationen |
| ISBN: | 9783959770583 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV044859112 | ||
| 003 | DE-604 | ||
| 005 | 20190717 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180308s2018 |||| o||u| ||||||eng d | ||
| 020 | |a 9783959770583 |c Online |9 978-3-95977-058-3 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-85407 |2 urn | |
| 035 | |a (OCoLC)1028534384 | ||
| 035 | |a (DE-599)BVBBV044859112 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 084 | |a DAT 706f |2 stub | ||
| 111 | 2 | |a International Conference on Logic Programming |n 33. |d 2017 |c Melbourne |j Verfasser |0 (DE-588)1153923009 |4 aut | |
| 245 | 1 | 0 | |a Technical Communications of the 33rd International Conference on Logic Programming |b ICLP 2017, August 28–September 1, 2017, Melbourne, Australia |c edited by Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei |
| 264 | 1 | |a Saarbrücken/Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |c February, 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. 58 | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 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 Rocha, Ricardo |4 edt | |
| 700 | 1 | |a Son, Tran Cao |4 edt | |
| 700 | 1 | |a Mears, Christopher |4 edt | |
| 700 | 1 | |a Saeedloei, Neda |4 edt | |
| 830 | 0 | |a OASIcs- OpenAccess Series in Informatics |v Vol. 58 |w (DE-604)BV039164165 |9 58 | |
| 856 | 4 | 0 | |u http://d-nb.info/115308631X/34 |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | |u http://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=16060 |x Verlag |z kostenfrei | |
| 856 | 4 | 0 | |u http://drops.dagstuhl.de/opus/volltexte/2018/8540/ |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u http://drops.dagstuhl.de/opus/volltexte/2018/8540/pdf/oasics-vol58-iclp2017-complete.pdf |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030253838 | ||
Datensatz im Suchindex
| _version_ | 1804178381537804288 |
|---|---|
| any_adam_object | |
| author2 | Rocha, Ricardo Son, Tran Cao Mears, Christopher Saeedloei, Neda |
| author2_role | edt edt edt edt |
| author2_variant | r r rr t c s tc tcs c m cm n s ns |
| author_corporate | International Conference on Logic Programming Melbourne |
| author_corporate_role | aut |
| author_facet | Rocha, Ricardo Son, Tran Cao Mears, Christopher Saeedloei, Neda International Conference on Logic Programming Melbourne |
| author_sort | International Conference on Logic Programming Melbourne |
| building | Verbundindex |
| bvnumber | BV044859112 |
| classification_tum | DAT 706f |
| collection | ebook |
| ctrlnum | (OCoLC)1028534384 (DE-599)BVBBV044859112 |
| 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>02150nmm a2200469 cb4500</leader><controlfield tag="001">BV044859112</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">180308s2018 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783959770583</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-95977-058-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-85407</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1028534384</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044859112</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></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">33.</subfield><subfield code="d">2017</subfield><subfield code="c">Melbourne</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1153923009</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Technical Communications of the 33rd International Conference on Logic Programming</subfield><subfield code="b">ICLP 2017, August 28–September 1, 2017, Melbourne, Australia</subfield><subfield code="c">edited by Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei</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">February, 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. 58</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="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">Rocha, Ricardo</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Son, Tran Cao</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mears, Christopher</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="830" ind1=" " ind2="0"><subfield code="a">OASIcs- OpenAccess Series in Informatics</subfield><subfield code="v">Vol. 58</subfield><subfield code="w">(DE-604)BV039164165</subfield><subfield code="9">58</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/115308631X/34</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=16060</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://drops.dagstuhl.de/opus/volltexte/2018/8540/</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://drops.dagstuhl.de/opus/volltexte/2018/8540/pdf/oasics-vol58-iclp2017-complete.pdf</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030253838</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044859112 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:03:04Z |
| institution | BVB |
| institution_GND | (DE-588)1153923009 |
| isbn | 9783959770583 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030253838 |
| oclc_num | 1028534384 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource Illustrationen |
| psigel | ebook |
| 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 33. 2017 Melbourne Verfasser (DE-588)1153923009 aut Technical Communications of the 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia edited by Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei Saarbrücken/Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing February, 2018 1 Online-Ressource Illustrationen txt rdacontent c rdamedia cr rdacarrier OASIcs- OpenAccess Series in Informatics Vol. 58 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Rocha, Ricardo edt Son, Tran Cao edt Mears, Christopher edt Saeedloei, Neda edt OASIcs- OpenAccess Series in Informatics Vol. 58 (DE-604)BV039164165 58 http://d-nb.info/115308631X/34 Resolving-System kostenfrei Volltext http://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=16060 Verlag kostenfrei http://drops.dagstuhl.de/opus/volltexte/2018/8540/ Verlag kostenfrei Volltext http://drops.dagstuhl.de/opus/volltexte/2018/8540/pdf/oasics-vol58-iclp2017-complete.pdf Verlag kostenfrei Volltext |
| spellingShingle | Technical Communications of the 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia 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 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia |
| title_auth | Technical Communications of the 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia |
| title_exact_search | Technical Communications of the 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia |
| title_full | Technical Communications of the 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia edited by Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei |
| title_fullStr | Technical Communications of the 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia edited by Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei |
| title_full_unstemmed | Technical Communications of the 33rd International Conference on Logic Programming ICLP 2017, August 28–September 1, 2017, Melbourne, Australia edited by Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei |
| title_short | Technical Communications of the 33rd International Conference on Logic Programming |
| title_sort | technical communications of the 33rd international conference on logic programming iclp 2017 august 28 september 1 2017 melbourne australia |
| title_sub | ICLP 2017, August 28–September 1, 2017, Melbourne, Australia |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Konferenzschrift |
| url | http://d-nb.info/115308631X/34 http://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=16060 http://drops.dagstuhl.de/opus/volltexte/2018/8540/ http://drops.dagstuhl.de/opus/volltexte/2018/8540/pdf/oasics-vol58-iclp2017-complete.pdf |
| volume_link | (DE-604)BV039164165 |
| work_keys_str_mv | AT internationalconferenceonlogicprogrammingmelbourne technicalcommunicationsofthe33rdinternationalconferenceonlogicprogrammingiclp2017august28september12017melbourneaustralia AT rocharicardo technicalcommunicationsofthe33rdinternationalconferenceonlogicprogrammingiclp2017august28september12017melbourneaustralia AT sontrancao technicalcommunicationsofthe33rdinternationalconferenceonlogicprogrammingiclp2017august28september12017melbourneaustralia AT mearschristopher technicalcommunicationsofthe33rdinternationalconferenceonlogicprogrammingiclp2017august28september12017melbourneaustralia AT saeedloeineda technicalcommunicationsofthe33rdinternationalconferenceonlogicprogrammingiclp2017august28september12017melbourneaustralia |