Verfügbarkeit: Computer science logic

Computer science logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2006
Schriftenreihe:	Lecture notes in computer science 4207
Schlagworte:	Theoretische Informatik Programmierlogik Logische Programmierung Computational logic Logik Konferenzschrift > 2006 > Szeged
Online-Zugang:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-355 DE-706 DE-739 Volltext
Beschreibung:	1 Online-Ressource (XII, 626 S.) graph. Darst.
ISBN:	3540454586 9783540454588
DOI:	10.1007/11874683

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022389976
003	DE-604
005	20080425
007	cr\|uuu---uuuuu
008	070417s2006 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
015			\|a 06,N38,0004 \|2 dnb
020			\|a 3540454586 \|c : EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.) \|9 3-540-45458-6
020			\|a 9783540454588 \|c : EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.) \|9 978-3-540-45458-8
024	7		\|a 10.1007/11874683 \|2 doi
024	3		\|a 9783540454588
028	5	2	\|a 11874683
035			\|a (OCoLC)255677307
035			\|a (DE-599)BVBBV022389976
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 005.1015113
084			\|a 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
084			\|a DAT 540f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Computer science logic \|b 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings \|c Zoltán Ésik (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2006
300			\|a 1 Online-Ressource (XII, 626 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 4207
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierlogik \|0 (DE-588)4047408-2 \|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 Computational logic \|0 (DE-588)4255672-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2006 \|z Szeged \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Computational logic \|0 (DE-588)4255672-7 \|D s
689	1		\|5 DE-604
689	2	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	2		\|5 DE-604
689	3	0	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	3		\|5 DE-604
700	1		\|a Ésik, Zoltán \|d 1951-2016 \|e Sonstige \|0 (DE-588)113300441 \|4 oth
710	2		\|a European Association for Computer Science Logic \|e Sonstige \|0 (DE-588)2156125-4 \|4 oth
711	2		\|a CSL \|n 20 \|d 2006 \|c Szeged \|j Sonstige \|0 (DE-588)6512755-9 \|4 oth
830		0	\|a Lecture notes in computer science \|v 4207 \|w (DE-604)BV014880109 \|9 4207
856	4	0	\|u https://doi.org/10.1007/11874683 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015598820
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11874683 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875009018560512
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)113300441
building	Verbundindex
bvnumber	BV022389976
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 540f DAT 000
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255677307 (DE-599)BVBBV022389976
dewey-full	005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1015113
dewey-search	005.1015113
dewey-sort	15.1015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/11874683
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV022389976</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080425</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070417s2006 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N38,0004</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540454586</subfield><subfield code="c">: EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.)</subfield><subfield code="9">3-540-45458-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540454588</subfield><subfield code="c">: EUR 77.04 (freier Pr.), sfr 127.50 (freier Pr.)</subfield><subfield code="9">978-3-540-45458-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11874683</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540454588</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11874683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255677307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022389976</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</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="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer science logic</subfield><subfield code="b">20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings</subfield><subfield code="c">Zoltán Ésik (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 626 S.)</subfield><subfield code="b">graph. Darst.</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">4207</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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="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">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="y">2006</subfield><subfield code="z">Szeged</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Computational logic</subfield><subfield code="0">(DE-588)4255672-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ésik, Zoltán</subfield><subfield code="d">1951-2016</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)113300441</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">European Association for Computer Science Logic</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)2156125-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">20</subfield><subfield code="d">2006</subfield><subfield code="c">Szeged</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6512755-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">4207</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4207</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11874683</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015598820</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11874683</subfield><subfield code="l">DE-634</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/11874683</subfield><subfield code="l">DE-M347</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/11874683</subfield><subfield code="l">DE-91</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/11874683</subfield><subfield code="l">DE-384</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/11874683</subfield><subfield code="l">DE-473</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/11874683</subfield><subfield code="l">DE-19</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/11874683</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/11874683</subfield><subfield code="l">DE-706</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/11874683</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2006 Szeged gnd-content
genre_facet	Konferenzschrift 2006 Szeged
id	DE-604.BV022389976
illustrated	Illustrated
index_date	2024-07-02T17:14:20Z
indexdate	2025-01-10T15:08:49Z
institution	BVB
institution_GND	(DE-588)2156125-4 (DE-588)6512755-9
isbn	3540454586 9783540454588
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015598820
oclc_num	255677307
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XII, 626 S.) graph. Darst.
psigel	ZDB-2-SCS
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings Zoltán Ésik (ed.) Berlin [u.a.] Springer 2006 1 Online-Ressource (XII, 626 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 4207 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Computational logic (DE-588)4255672-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2006 Szeged gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s DE-604 Computational logic (DE-588)4255672-7 s Logische Programmierung (DE-588)4195096-3 s Programmierlogik (DE-588)4047408-2 s Ésik, Zoltán 1951-2016 Sonstige (DE-588)113300441 oth European Association for Computer Science Logic Sonstige (DE-588)2156125-4 oth CSL 20 2006 Szeged Sonstige (DE-588)6512755-9 oth Lecture notes in computer science 4207 (DE-604)BV014880109 4207 https://doi.org/10.1007/11874683 Verlag Volltext
spellingShingle	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4255672-7 (DE-588)4036202-4 (DE-588)1071861417
title	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings
title_auth	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings
title_exact_search	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings
title_exact_search_txtP	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings
title_full	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings Zoltán Ésik (ed.)
title_fullStr	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings Zoltán Ésik (ed.)
title_full_unstemmed	Computer science logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings Zoltán Ésik (ed.)
title_short	Computer science logic
title_sort	computer science logic 20th international workshop csl 2006 15th annual conference of the eacsl szeged hungary september 25 29 2006 proceedings
title_sub	20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Computational logic (DE-588)4255672-7 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Theoretische Informatik Programmierlogik Logische Programmierung Computational logic Logik Konferenzschrift 2006 Szeged
url	https://doi.org/10.1007/11874683
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT esikzoltan computersciencelogic20thinternationalworkshopcsl200615thannualconferenceoftheeacslszegedhungaryseptember25292006proceedings AT europeanassociationforcomputersciencelogic computersciencelogic20thinternationalworkshopcsl200615thannualconferenceoftheeacslszegedhungaryseptember25292006proceedings AT cslszeged computersciencelogic20thinternationalworkshopcsl200615thannualconferenceoftheeacslszegedhungaryseptember25292006proceedings

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