Verfügbarkeit: Generalized quantifiers and computation

Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 1999
Schriftenreihe:	Lecture notes in computer science 1754
Schlagworte:	Quantor Berechnungskomplexität Konferenzschrift > 1997 > Aix-en-Provence
Online-Zugang:	DE-91 DE-384 DE-19 DE-739 Volltext
Beschreibung:	1 Online-Ressource (139 S.)
ISBN:	3540669930 9783540669937
DOI:	10.1007/3-540-46583-9

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV035090928
003	DE-604
007	cr\|uuu---uuuuu
008	081009s1999 gw o\|\|\|\| 10\|\|\| eng d
020			\|a 3540669930 \|9 3-540-66993-0
020			\|a 9783540669937 \|9 978-3-540-66993-7
024	7		\|a 10.1007/3-540-46583-9 \|2 doi
035			\|a (OCoLC)699839802
035			\|a (DE-599)BVBBV035090928
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 500f \|2 stub
245	1	0	\|a Generalized quantifiers and computation \|b 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures \|c Jouko Väänänen (ed.)
264		1	\|a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London \|b Springer \|c 1999
300			\|a 1 Online-Ressource (139 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 1754
650	0	7	\|a Quantor \|0 (DE-588)4128275-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1997 \|z Aix-en-Provence \|2 gnd-content
689	0	0	\|a Quantor \|0 (DE-588)4128275-9 \|D s
689	0	1	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|D s
689	0		\|5 DE-604
700	1		\|a Väänänen, Jouko \|d 1950- \|e Sonstige \|0 (DE-588)121630544 \|4 oth
711	2		\|a European Summer School in Logic, Language and Information \|n 9 \|d 1997 \|c Aix-en-Provence \|j Sonstige \|0 (DE-588)1237972-4 \|4 oth
830		0	\|a Lecture notes in computer science \|v 1754 \|w (DE-604)BV014880109 \|9 1754
856	4	0	\|u https://doi.org/10.1007/3-540-46583-9 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016759049
966	e		\|u https://doi.org/10.1007/3-540-46583-9 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-46583-9 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-46583-9 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-46583-9 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875075610476544
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author_GND	(DE-588)121630544
building	Verbundindex
bvnumber	BV035090928
classification_rvk	SS 4800
classification_tum	DAT 500f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)699839802 (DE-599)BVBBV035090928
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/3-540-46583-9
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">BV035090928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">081009s1999 gw o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540669930</subfield><subfield code="9">3-540-66993-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540669937</subfield><subfield code="9">978-3-540-66993-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-46583-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699839802</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035090928</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 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Generalized quantifiers and computation</subfield><subfield code="b">9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures</subfield><subfield code="c">Jouko Väänänen (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">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (139 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">1754</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Quantor</subfield><subfield code="0">(DE-588)4128275-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</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">1997</subfield><subfield code="z">Aix-en-Provence</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Quantor</subfield><subfield code="0">(DE-588)4128275-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Väänänen, Jouko</subfield><subfield code="d">1950-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)121630544</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">European Summer School in Logic, Language and Information</subfield><subfield code="n">9</subfield><subfield code="d">1997</subfield><subfield code="c">Aix-en-Provence</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1237972-4</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">1754</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1754</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-46583-9</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-016759049</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-46583-9</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-46583-9</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-46583-9</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-46583-9</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 1997 Aix-en-Provence gnd-content
genre_facet	Konferenzschrift 1997 Aix-en-Provence
id	DE-604.BV035090928
illustrated	Not Illustrated
index_date	2024-07-02T22:10:38Z
indexdate	2025-01-10T15:09:51Z
institution	BVB
institution_GND	(DE-588)1237972-4
isbn	3540669930 9783540669937
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016759049
oclc_num	699839802
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 (139 S.)
psigel	ZDB-2-LNC
publishDate	1999
publishDateSearch	1999
publishDateSort	1999
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures Jouko Väänänen (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 1999 1 Online-Ressource (139 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1754 Quantor (DE-588)4128275-9 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Aix-en-Provence gnd-content Quantor (DE-588)4128275-9 s Berechnungskomplexität (DE-588)4134751-1 s DE-604 Väänänen, Jouko 1950- Sonstige (DE-588)121630544 oth European Summer School in Logic, Language and Information 9 1997 Aix-en-Provence Sonstige (DE-588)1237972-4 oth Lecture notes in computer science 1754 (DE-604)BV014880109 1754 https://doi.org/10.1007/3-540-46583-9 Verlag Volltext
spellingShingle	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures Lecture notes in computer science Quantor (DE-588)4128275-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
subject_GND	(DE-588)4128275-9 (DE-588)4134751-1 (DE-588)1071861417
title	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures
title_auth	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures
title_exact_search	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures
title_exact_search_txtP	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures
title_full	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures Jouko Väänänen (ed.)
title_fullStr	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures Jouko Väänänen (ed.)
title_full_unstemmed	Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures Jouko Väänänen (ed.)
title_short	Generalized quantifiers and computation
title_sort	generalized quantifiers and computation 9th european summer school in logic language and information esslli 97 workshop aix en provence france august 11 22 1997 revised lectures
title_sub	9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised lectures
topic	Quantor (DE-588)4128275-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
topic_facet	Quantor Berechnungskomplexität Konferenzschrift 1997 Aix-en-Provence
url	https://doi.org/10.1007/3-540-46583-9
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT vaananenjouko generalizedquantifiersandcomputation9theuropeansummerschoolinlogiclanguageandinformationesslli97workshopaixenprovencefranceaugust11221997revisedlectures AT europeansummerschoolinlogiclanguageandinformationaixenprovence generalizedquantifiersandcomputation9theuropeansummerschoolinlogiclanguageandinformationesslli97workshopaixenprovencefranceaugust11221997revisedlectures

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