000 | 02897nam a22005775i 4500 | ||
---|---|---|---|
001 | 978-3-540-46583-6 | ||
003 | DE-He213 | ||
005 | 20240423132455.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s1999 gw | s |||| 0|eng d | ||
020 |
_a9783540465836 _9978-3-540-46583-6 |
||
024 | 7 |
_a10.1007/3-540-46583-9 _2doi |
|
050 | 4 | _aQA8.9-10.3 | |
072 | 7 |
_aPBCD _2bicssc |
|
072 | 7 |
_aPBC _2bicssc |
|
072 | 7 |
_aMAT018000 _2bisacsh |
|
072 | 7 |
_aPBCD _2thema |
|
072 | 7 |
_aPBC _2thema |
|
082 | 0 | 4 |
_a511.3 _223 |
245 | 1 | 0 |
_aGeneralized Quantifiers and Computation _h[electronic resource] : _b9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures / _cedited by Jouko Väänänen. |
250 | _a1st ed. 1999. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1999. |
|
300 |
_aVI, 139 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v1754 |
|
505 | 0 | _aGeneralized Quantifiers, an Introduction -- Counting and Locality over Finite Structures A Survey -- A Perspective on Lindström Quantifiers and Oracles -- Generalized Quantifiers in Logic Programs -- A Generalized Quantifier Concept in Computational Complexity Theory -- Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers. | |
520 | _aThis book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth. | ||
650 | 0 | _aMathematical logic. | |
650 | 0 | _aMachine theory. | |
650 | 0 | _aLinguistics. | |
650 | 1 | 4 | _aMathematical Logic and Foundations. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
650 | 2 | 4 | _aTheoretical Linguistics / Grammar. |
700 | 1 |
_aVäänänen, Jouko. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540669937 |
776 | 0 | 8 |
_iPrinted edition: _z9783662212226 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v1754 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/3-540-46583-9 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c188156 _d188156 |