Verfügbarkeit: Computer science logic

Computer science logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2007
Schriftenreihe:	Lecture Notes in Computer Science 4646
Schlagworte:	Theoretische Informatik Programmierlogik Logische Programmierung Computational logic Logik Konferenzschrift > 2007 > Lausanne
Beschreibung:	XIV, 600 S. graph. Darst.
ISBN:	9783540749141 3540749144

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022870790
003	DE-604
005	20161114
007	t\|
008	071008s2007 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 07,N36,0019 \|2 dnb
016	7		\|a 985291702 \|2 DE-101
020			\|a 9783540749141 \|c : EUR 77.04 (freier Pr.), sfr 125.50 (freier Pr.) \|9 978-3-540-74914-1
020			\|a 3540749144 \|c : EUR 77.04 (freier Pr.), sfr 125.50 (freier Pr.) \|9 3-540-74914-4
024	3		\|a 9783540749141
028	5	2	\|a 12122257
035			\|a (OCoLC)635341127
035			\|a (DE-599)DNB985291702
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-91G \|a DE-706 \|a DE-19 \|a DE-83 \|a DE-11
082	0		\|a 004.015113 \|2 22/ger
082	0		\|a 005.1015113 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 706f \|2 stub
084			\|a DAT 540f \|2 stub
245	1	0	\|a Computer science logic \|b 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings \|c Jacques Duparc ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a XIV, 600 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 4646
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 2007 \|z Lausanne \|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 Duparc, Jacques \|d 1923- \|e Sonstige \|0 (DE-588)173621384 \|4 oth
711	2		\|a CSL \|n 21 \|d 2007 \|c Lausanne \|j Sonstige \|0 (DE-588)6067513-5 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 4646 \|w (DE-604)BV000000607 \|9 4646
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016075892

Datensatz im Suchindex

_version_	1820875017343205376
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)173621384
building	Verbundindex
bvnumber	BV022870790
classification_rvk	SS 4800
classification_tum	DAT 706f DAT 540f
ctrlnum	(OCoLC)635341127 (DE-599)DNB985291702
dewey-full	004.015113 005.1015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science 005 - Computer programming, programs, data, security
dewey-raw	004.015113 005.1015113
dewey-search	004.015113 005.1015113
dewey-sort	14.015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
format	Conference Proceeding Book
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">BV022870790</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161114</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">071008s2007 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N36,0019</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">985291702</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540749141</subfield><subfield code="c">: EUR 77.04 (freier Pr.), sfr 125.50 (freier Pr.)</subfield><subfield code="9">978-3-540-74914-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540749144</subfield><subfield code="c">: EUR 77.04 (freier Pr.), sfr 125.50 (freier Pr.)</subfield><subfield code="9">3-540-74914-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540749141</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12122257</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635341127</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB985291702</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">22/ger</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="245" ind1="1" ind2="0"><subfield code="a">Computer science logic</subfield><subfield code="b">21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings</subfield><subfield code="c">Jacques Duparc ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 600 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">4646</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">2007</subfield><subfield code="z">Lausanne</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">Duparc, Jacques</subfield><subfield code="d">1923-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)173621384</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CSL</subfield><subfield code="n">21</subfield><subfield code="d">2007</subfield><subfield code="c">Lausanne</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6067513-5</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">4646</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4646</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016075892</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2007 Lausanne gnd-content
genre_facet	Konferenzschrift 2007 Lausanne
id	DE-604.BV022870790
illustrated	Illustrated
index_date	2024-07-02T18:47:10Z
indexdate	2025-01-10T15:08:57Z
institution	BVB
institution_GND	(DE-588)6067513-5
isbn	9783540749141 3540749144
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016075892
oclc_num	635341127
open_access_boolean
owner	DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11
owner_facet	DE-91G DE-BY-TUM DE-706 DE-19 DE-BY-UBM DE-83 DE-11
physical	XIV, 600 S. graph. Darst.
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings Jacques Duparc ... (eds.) Berlin [u.a.] Springer 2007 XIV, 600 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4646 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 2007 Lausanne 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 Duparc, Jacques 1923- Sonstige (DE-588)173621384 oth CSL 21 2007 Lausanne Sonstige (DE-588)6067513-5 oth Lecture Notes in Computer Science 4646 (DE-604)BV000000607 4646
spellingShingle	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; 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 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings
title_auth	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings
title_exact_search	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings
title_exact_search_txtP	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings
title_full	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings Jacques Duparc ... (eds.)
title_fullStr	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings Jacques Duparc ... (eds.)
title_full_unstemmed	Computer science logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; proceedings Jacques Duparc ... (eds.)
title_short	Computer science logic
title_sort	computer science logic 21 international workshop csl 2007 16th annual conference of the eacsl lausanne switzerland september 11 15 2007 proceedings
title_sub	21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 ; 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 2007 Lausanne
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT duparcjacques computersciencelogic21internationalworkshopcsl200716thannualconferenceoftheeacsllausanneswitzerlandseptember11152007proceedings AT csllausanne computersciencelogic21internationalworkshopcsl200716thannualconferenceoftheeacsllausanneswitzerlandseptember11152007proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge