Verfügbarkeit: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)

24th EACSL Annual Conference on Computer Science Logic (CSL 2015): CSL 2015, September 7–10, 2015, Berlin, Germany

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	EACSL Annual Conference on Computer Science Logic Berlin (VerfasserIn)
Weitere Verfasser:	Kreutzer, Stephan (HerausgeberIn)
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:	Mathematische Logik Programmierlogik Konferenzschrift
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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge