Verfügbarkeit: Computer science logic

Computer science logic: 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001
Schriftenreihe:	Lecture notes in computer science 2142
Schlagworte:	Theoretische Informatik Programmierlogik Logische Programmierung Logik Konferenzschrift > 2001 > Paris
Online-Zugang:	DE-91 DE-384 DE-19 DE-739 Volltext
Beschreibung:	1 Online-Ressource (XII, 614 S.)
ISBN:	3540425543 3540448020
DOI:	10.1007/3-540-44802-0

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV035245957
003	DE-604
007	cr\|uuu---uuuuu
008	090114s2001 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540425543 \|9 3-540-42554-3
020			\|a 3540448020 \|c Online \|9 3-540-44802-0
024	7		\|a 10.1007/3-540-44802-0 \|2 doi
035			\|a (OCoLC)699829588
035			\|a (DE-599)BVBBV035245957
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
084			\|a DAT 706f \|2 stub
084			\|a DAT 540f \|2 stub
245	1	0	\|a Computer science logic \|b 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings \|c Laurent Fribourg (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 2001
300			\|a 1 Online-Ressource (XII, 614 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2142
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 Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2001 \|z Paris \|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 Programmierlogik \|0 (DE-588)4047408-2 \|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
700	1		\|a Fribourg, Laurent \|e Sonstige \|4 oth
711	2		\|a CSL \|n 15 \|d 2001 \|c Paris \|j Sonstige \|0 (DE-588)16029147-1 \|4 oth
830		0	\|a Lecture notes in computer science \|v 2142 \|w (DE-604)BV014880109 \|9 2142
856	4	0	\|u https://doi.org/10.1007/3-540-44802-0 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017051675
966	e		\|u https://doi.org/10.1007/3-540-44802-0 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44802-0 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44802-0 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44802-0 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875106993307648
adam_text
any_adam_object
building	Verbundindex
bvnumber	BV035245957
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 540f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)699829588 (DE-599)BVBBV035245957
discipline	Informatik
doi_str_mv	10.1007/3-540-44802-0
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV035245957</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">090114s2001 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540425543</subfield><subfield code="9">3-540-42554-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540448020</subfield><subfield code="c">Online</subfield><subfield code="9">3-540-44802-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-44802-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699829588</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035245957</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</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="245" ind1="1" ind2="0"><subfield code="a">Computer science logic</subfield><subfield code="b">15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings</subfield><subfield code="c">Laurent Fribourg (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 614 S.)</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">2142</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">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">2001</subfield><subfield code="z">Paris</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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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="700" ind1="1" ind2=" "><subfield code="a">Fribourg, Laurent</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">15</subfield><subfield code="d">2001</subfield><subfield code="c">Paris</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16029147-1</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">2142</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2142</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-44802-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017051675</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-44802-0</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</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/3-540-44802-0</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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/3-540-44802-0</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</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/3-540-44802-0</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2001 Paris gnd-content
genre_facet	Konferenzschrift 2001 Paris
id	DE-604.BV035245957
illustrated	Not Illustrated
indexdate	2025-01-10T15:10:22Z
institution	BVB
institution_GND	(DE-588)16029147-1
isbn	3540425543 3540448020
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017051675
oclc_num	699829588
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (XII, 614 S.)
psigel	ZDB-2-LNC
publishDate	2001
publishDateSearch	2001
publishDateSort	2001
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 1 Online-Ressource (XII, 614 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2142 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 Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Paris gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s DE-604 Programmierlogik (DE-588)4047408-2 s Logische Programmierung (DE-588)4195096-3 s Fribourg, Laurent Sonstige oth CSL 15 2001 Paris Sonstige (DE-588)16029147-1 oth Lecture notes in computer science 2142 (DE-604)BV014880109 2142 https://doi.org/10.1007/3-540-44802-0 Verlag Volltext
spellingShingle	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; 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 Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4036202-4 (DE-588)1071861417
title	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings
title_auth	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings
title_exact_search	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings
title_full	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.)
title_fullStr	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.)
title_full_unstemmed	Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings Laurent Fribourg (ed.)
title_short	Computer science logic
title_sort	computer science logic 15th international workshop csl 2001 10th annual conference of the eacsl paris france september 10 13 2001 proceedings
title_sub	15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Theoretische Informatik Programmierlogik Logische Programmierung Logik Konferenzschrift 2001 Paris
url	https://doi.org/10.1007/3-540-44802-0
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT fribourglaurent computersciencelogic15thinternationalworkshopcsl200110thannualconferenceoftheeacslparisfranceseptember10132001proceedings AT cslparis computersciencelogic15thinternationalworkshopcsl200110thannualconferenceoftheeacslparisfranceseptember10132001proceedings

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