24th EACSL Annual Conference on Computer Science Logic (CSL 2015): CSL 2015, September 7–10, 2015, Berlin, Germany
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
2015
|
| Schriftenreihe: | LIPIcs - Leibniz International Proceedings in Informatics
Volume 41 |
| Schlagworte: | |
| Online-Zugang: | Volltext kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783939897903 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV043994220 | ||
| 003 | DE-604 | ||
| 005 | 20170314 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170111s2015 |||| o||u| ||||||eng d | ||
| 015 | |a 15,O10 |2 dnb | ||
| 016 | 7 | |a 1076496105 |2 DE-101 | |
| 020 | |a 9783939897903 |c Online |9 978-3-939897-90-3 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-54670 |2 urn | |
| 035 | |a (OCoLC)923659389 | ||
| 035 | |a (DE-599)DNB1076496105 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 540f |2 stub | ||
| 111 | 2 | |a EACSL Annual Conference on Computer Science Logic |n 24. |d 2015 |c Berlin |j Verfasser |0 (DE-588)1123171629 |4 aut | |
| 245 | 1 | 0 | |a 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) |b CSL 2015, September 7–10, 2015, Berlin, Germany |c Edited by Stephan Kreutzer |
| 246 | 1 | 3 | |a EACSL Annual Conference on Computer Science Logic (CSL 2015) |
| 246 | 1 | 3 | |a Twenty-four EACSL Annual Conference on Computer Science Logic (CSL 2015) |
| 264 | 1 | |a Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |c 2015 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 340 | |a Online-Ressource | ||
| 490 | 1 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Volume 41 | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kreutzer, Stephan |4 edt | |
| 830 | 0 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Volume 41 |w (DE-604)BV039164160 |9 41 | |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-54670 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-54670 |x Resolving-System |z kostenfrei |
| 856 | 4 | 0 | |u http://d-nb.info/1076496105/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-939897-90-3 |x Verlag |z kostenfrei |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029402347 | ||
Datensatz im Suchindex
| _version_ | 1804176970760585216 |
|---|---|
| any_adam_object | |
| author2 | Kreutzer, Stephan |
| author2_role | edt |
| author2_variant | s k sk |
| author_corporate | EACSL Annual Conference on Computer Science Logic Berlin |
| author_corporate_role | aut |
| author_facet | Kreutzer, Stephan EACSL Annual Conference on Computer Science Logic Berlin |
| author_sort | EACSL Annual Conference on Computer Science Logic Berlin |
| building | Verbundindex |
| bvnumber | BV043994220 |
| classification_tum | DAT 540f |
| collection | ebook |
| ctrlnum | (OCoLC)923659389 (DE-599)DNB1076496105 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| 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>02324nmm a22005411cb4500</leader><controlfield tag="001">BV043994220</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170314 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170111s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,O10</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1076496105</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897903</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-939897-90-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-54670</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923659389</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1076496105</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="082" ind1="0" ind2=" "><subfield code="a">004</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">EACSL Annual Conference on Computer Science Logic</subfield><subfield code="n">24.</subfield><subfield code="d">2015</subfield><subfield code="c">Berlin</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1123171629</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">24th EACSL Annual Conference on Computer Science Logic (CSL 2015)</subfield><subfield code="b">CSL 2015, September 7–10, 2015, Berlin, Germany</subfield><subfield code="c">Edited by Stephan Kreutzer</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">EACSL Annual Conference on Computer Science Logic (CSL 2015)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Twenty-four EACSL Annual Conference on Computer Science Logic (CSL 2015)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="340" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Volume 41</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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Kreutzer, Stephan</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Volume 41</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">41</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-54670</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-54670</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/1076496105/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-939897-90-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</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-029402347</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043994220 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:40:39Z |
| institution | BVB |
| institution_GND | (DE-588)1123171629 |
| isbn | 9783939897903 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029402347 |
| oclc_num | 923659389 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |
| record_format | marc |
| series | LIPIcs - Leibniz International Proceedings in Informatics |
| series2 | LIPIcs - Leibniz International Proceedings in Informatics |
| spelling | EACSL Annual Conference on Computer Science Logic 24. 2015 Berlin Verfasser (DE-588)1123171629 aut 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany Edited by Stephan Kreutzer EACSL Annual Conference on Computer Science Logic (CSL 2015) Twenty-four EACSL Annual Conference on Computer Science Logic (CSL 2015) Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2015 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceedings in Informatics Volume 41 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s Programmierlogik (DE-588)4047408-2 s DE-604 Kreutzer, Stephan edt LIPIcs - Leibniz International Proceedings in Informatics Volume 41 (DE-604)BV039164160 41 https://nbn-resolving.org/urn:nbn:de:0030-drops-54670 Resolving-System Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-54670 Resolving-System kostenfrei http://d-nb.info/1076496105/34 Langzeitarchivierung Nationalbibliothek kostenfrei http://www.dagstuhl.de/dagpub/978-3-939897-90-3 Verlag kostenfrei |
| spellingShingle | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany LIPIcs - Leibniz International Proceedings in Informatics Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4047408-2 (DE-588)1071861417 |
| title | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany |
| title_alt | EACSL Annual Conference on Computer Science Logic (CSL 2015) Twenty-four EACSL Annual Conference on Computer Science Logic (CSL 2015) |
| title_auth | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany |
| title_exact_search | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany |
| title_full | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany Edited by Stephan Kreutzer |
| title_fullStr | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany Edited by Stephan Kreutzer |
| title_full_unstemmed | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) CSL 2015, September 7–10, 2015, Berlin, Germany Edited by Stephan Kreutzer |
| title_short | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) |
| title_sort | 24th eacsl annual conference on computer science logic csl 2015 csl 2015 september 7 10 2015 berlin germany |
| title_sub | CSL 2015, September 7–10, 2015, Berlin, Germany |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd |
| topic_facet | Mathematische Logik Programmierlogik Konferenzschrift |
| url | https://nbn-resolving.org/urn:nbn:de:0030-drops-54670 http://d-nb.info/1076496105/34 http://www.dagstuhl.de/dagpub/978-3-939897-90-3 |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT eacslannualconferenceoncomputersciencelogicberlin 24theacslannualconferenceoncomputersciencelogiccsl2015csl2015september7102015berlingermany AT kreutzerstephan 24theacslannualconferenceoncomputersciencelogiccsl2015csl2015september7102015berlingermany AT eacslannualconferenceoncomputersciencelogicberlin eacslannualconferenceoncomputersciencelogiccsl2015 AT kreutzerstephan eacslannualconferenceoncomputersciencelogiccsl2015 AT eacslannualconferenceoncomputersciencelogicberlin twentyfoureacslannualconferenceoncomputersciencelogiccsl2015 AT kreutzerstephan twentyfoureacslannualconferenceoncomputersciencelogiccsl2015 |