Holdings: Computer science logic

Computer science logic: 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 1996
Series:	Lecture notes in computer science 1092
Subjects:	Computer logic > Congresses Theoretische Informatik Logik Informatik Konferenzschrift > 1995 > Paderborn
Online Access:	Volltext
Physical Description:	1 Online-Ressource (VIII, 485 S.)
ISBN:	3540613773
DOI:	10.1007/3-540-61377-3

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV035261837
003	DE-604
007	cr\|uuu---uuuuu
008	090121s1996 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540613773 \|9 3-540-61377-3
024	7		\|a 10.1007/3-540-61377-3 \|2 doi
035			\|a (OCoLC)845510556
035			\|a (DE-599)BVBBV035261837
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-634 \|a DE-210 \|a DE-Aug4 \|a DE-M347 \|a DE-860 \|a DE-70 \|a DE-91 \|a DE-384 \|a DE-473 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-706 \|a DE-1046 \|a DE-526 \|a DE-521 \|a DE-573 \|a DE-523
050		0	\|a QA75.5.W625 1995
082	0		\|a 004/.01/5113 20
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a DAT 706f \|2 stub
084			\|a DAT 540f \|2 stub
084			\|a 28 \|2 sdnb
245	1	0	\|a Computer science logic \|b 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers \|c Hans Kleine Büning (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 1996
300			\|a 1 Online-Ressource (VIII, 485 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 1092
650		4	\|a Computer logic -- Congresses
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1995 \|z Paderborn \|2 gnd-content
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	1		\|5 DE-604
700	1		\|a Kleine Büning, Hans \|d 1948- \|e Sonstige \|0 (DE-588)121448339 \|4 oth
711	2		\|a CSL \|n 9 \|d 1995 \|c Paderborn \|j Sonstige \|0 (DE-588)2156127-8 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1092 \|w (DE-604)BV014880109 \|9 1092
856	4	0	\|u https://doi.org/10.1007/3-540-61377-3 \|x Verlag \|3 Volltext
912			\|a ZDB-1-SLN
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017067348

Record in the Search Index

_version_	1820868280010670080
adam_text
any_adam_object
author_GND	(DE-588)121448339
building	Verbundindex
bvnumber	BV035261837
callnumber-first	Q - Science
callnumber-label	QA75
callnumber-raw	QA75.5.W625 1995
callnumber-search	QA75.5.W625 1995
callnumber-sort	QA 275.5 W625 41995
callnumber-subject	QA - Mathematics
classification_rvk	ST 130
classification_tum	DAT 706f DAT 540f
collection	ZDB-1-SLN ZDB-2-LNC
ctrlnum	(OCoLC)845510556 (DE-599)BVBBV035261837
dewey-full	004/.01/511320
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004/.01/5113 20
dewey-search	004/.01/5113 20
dewey-sort	14 11 45113 220
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/3-540-61377-3
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">BV035261837</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">090121s1996 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540613773</subfield><subfield code="9">3-540-61377-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-61377-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845510556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035261837</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-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5.W625 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer science logic</subfield><subfield code="b">9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers</subfield><subfield code="c">Hans Kleine Büning (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 485 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">1092</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic -- Congresses</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">1995</subfield><subfield code="z">Paderborn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kleine Büning, Hans</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121448339</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">9</subfield><subfield code="d">1995</subfield><subfield code="c">Paderborn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2156127-8</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">1092</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1092</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-61377-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</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-017067348</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1995 Paderborn gnd-content
genre_facet	Konferenzschrift 1995 Paderborn
id	DE-604.BV035261837
illustrated	Not Illustrated
indexdate	2025-01-10T13:21:51Z
institution	BVB
institution_GND	(DE-588)2156127-8
isbn	3540613773
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017067348
oclc_num	845510556
open_access_boolean
owner	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
owner_facet	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
physical	1 Online-Ressource (VIII, 485 S.)
psigel	ZDB-1-SLN ZDB-2-LNC
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers Hans Kleine Büning (ed.) Berlin [u.a.] Springer 1996 1 Online-Ressource (VIII, 485 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1092 Computer logic -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Paderborn gnd-content Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Kleine Büning, Hans 1948- Sonstige (DE-588)121448339 oth CSL 9 1995 Paderborn Sonstige (DE-588)2156127-8 oth Lecture notes in computer science 1092 (DE-604)BV014880109 1092 https://doi.org/10.1007/3-540-61377-3 Verlag Volltext
spellingShingle	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers Lecture notes in computer science Computer logic -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)1071861417
title	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers
title_auth	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers
title_exact_search	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers
title_full	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers Hans Kleine Büning (ed.)
title_fullStr	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers Hans Kleine Büning (ed.)
title_full_unstemmed	Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers Hans Kleine Büning (ed.)
title_short	Computer science logic
title_sort	computer science logic 9th international workshop csl 95 annual conference of the eacsl paderborn germany september 22 29 1995 selected papers
title_sub	9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers
topic	Computer logic -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd
topic_facet	Computer logic -- Congresses Theoretische Informatik Logik Informatik Konferenzschrift 1995 Paderborn
url	https://doi.org/10.1007/3-540-61377-3
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT kleinebuninghans computersciencelogic9thinternationalworkshopcsl95annualconferenceoftheeacslpaderborngermanyseptember22291995selectedpapers AT cslpaderborn computersciencelogic9thinternationalworkshopcsl95annualconferenceoftheeacslpaderborngermanyseptember22291995selectedpapers

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items