Verfügbarkeit: Computer science logic

Computer science logic: 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2000
Schriftenreihe:	Lecture notes in computer science 1862
Schlagworte:	Theoretische Informatik Programmierlogik Komplexitätstheorie Logische Programmierung Logik Konferenzschrift > 2000 > Fischbachau
Online-Zugang:	DE-91 DE-384 DE-19 DE-739 Volltext
Beschreibung:	Literaturangaben
Beschreibung:	1 Online-Ressource (XIII, 541 S.)
ISBN:	3540678956 9783540678953
DOI:	10.1007/3-540-44622-2

Internformat

MARC


LEADER	00000nam a22000008cb4500
001	BV035098936
003	DE-604
007	cr\|uuu---uuuuu
008	081014s2000 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540678956 \|9 3-540-67895-6
020			\|a 9783540678953 \|9 978-3-540-67895-3
024	7		\|a 10.1007/3-540-44622-2 \|2 doi
035			\|a (OCoLC)699840779
035			\|a (DE-599)BVBBV035098936
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 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings \|c Peter G. Clote ; Helmut Schwichtenberg (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2000
300			\|a 1 Online-Ressource (XIII, 541 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 1862
500			\|a Literaturangaben
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 Komplexitätstheorie \|0 (DE-588)4120591-1 \|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 2000 \|z Fischbachau \|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 Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	2		\|5 DE-604
689	3	0	\|a Komplexitätstheorie \|0 (DE-588)4120591-1 \|D s
689	3		\|5 DE-604
700	1		\|a Clote, Peter \|e Sonstige \|4 oth
711	2		\|a CSL \|n 14 \|d 2000 \|c Fischbachau \|j Sonstige \|0 (DE-588)10005998-3 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1862 \|w (DE-604)BV014880109 \|9 1862
856	4	0	\|u https://doi.org/10.1007/3-540-44622-2 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016766944
966	e		\|u https://doi.org/10.1007/3-540-44622-2 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44622-2 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44622-2 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-44622-2 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875078693289984
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV035098936
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 540f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)699840779 (DE-599)BVBBV035098936
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/3-540-44622-2
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">BV035098936</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">081014s2000 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540678956</subfield><subfield code="9">3-540-67895-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540678953</subfield><subfield code="9">978-3-540-67895-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-44622-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699840779</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035098936</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">14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings</subfield><subfield code="c">Peter G. Clote ; Helmut Schwichtenberg (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 541 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">1862</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">2000</subfield><subfield code="z">Fischbachau</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">Clote, Peter</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">14</subfield><subfield code="d">2000</subfield><subfield code="c">Fischbachau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10005998-3</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">1862</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1862</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-44622-2</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-016766944</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-44622-2</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-44622-2</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-44622-2</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-44622-2</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 2000 Fischbachau gnd-content
genre_facet	Konferenzschrift 2000 Fischbachau
id	DE-604.BV035098936
illustrated	Not Illustrated
index_date	2024-07-02T22:13:28Z
indexdate	2025-01-10T15:09:55Z
institution	BVB
institution_GND	(DE-588)10005998-3
isbn	3540678956 9783540678953
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016766944
oclc_num	699840779
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 (XIII, 541 S.)
psigel	ZDB-2-LNC
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings Peter G. Clote ; Helmut Schwichtenberg (ed.) Berlin [u.a.] Springer 2000 1 Online-Ressource (XIII, 541 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1862 Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Fischbachau gnd-content Theoretische Informatik (DE-588)4196735-5 s Logik (DE-588)4036202-4 s DE-604 Logische Programmierung (DE-588)4195096-3 s Programmierlogik (DE-588)4047408-2 s Komplexitätstheorie (DE-588)4120591-1 s Clote, Peter Sonstige oth CSL 14 2000 Fischbachau Sonstige (DE-588)10005998-3 oth Lecture notes in computer science 1862 (DE-604)BV014880109 1862 https://doi.org/10.1007/3-540-44622-2 Verlag Volltext
spellingShingle	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Komplexitätstheorie (DE-588)4120591-1 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)4120591-1 (DE-588)4195096-3 (DE-588)4036202-4 (DE-588)1071861417
title	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings
title_auth	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings
title_exact_search	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings
title_exact_search_txtP	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings
title_full	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings Peter G. Clote ; Helmut Schwichtenberg (ed.)
title_fullStr	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings Peter G. Clote ; Helmut Schwichtenberg (ed.)
title_full_unstemmed	Computer science logic 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings Peter G. Clote ; Helmut Schwichtenberg (ed.)
title_short	Computer science logic
title_sort	computer science logic 14th international workshop csl 2000 annual conference of the eacsl fischbachau germany august 21 26 2000 proceedings
title_sub	14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Programmierlogik (DE-588)4047408-2 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Theoretische Informatik Programmierlogik Komplexitätstheorie Logische Programmierung Logik Konferenzschrift 2000 Fischbachau
url	https://doi.org/10.1007/3-540-44622-2
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT clotepeter computersciencelogic14thinternationalworkshopcsl2000annualconferenceoftheeacslfischbachaugermanyaugust21262000proceedings AT cslfischbachau computersciencelogic14thinternationalworkshopcsl2000annualconferenceoftheeacslfischbachaugermanyaugust21262000proceedings

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