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:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1754 |
| Schlagworte: | |
| Beschreibung: | 139 S. |
| ISBN: | 3540669930 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012917326 | ||
| 003 | DE-604 | ||
| 005 | 20011217 | ||
| 007 | t | ||
| 008 | 991214s1999 gw |||| 10||| eng d | ||
| 016 | 7 | |a 95808064X |2 DE-101 | |
| 020 | |a 3540669930 |9 3-540-66993-0 | ||
| 035 | |a (OCoLC)43286987 | ||
| 035 | |a (DE-599)BVBBV012917326 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-20 |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.9.M35 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 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 139 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1754 | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer science - Mathematics | |
| 650 | 7 | |a Formele semantiek |2 gtt | |
| 650 | 7 | |a Inteligencia artificial (computacao) |2 larpcal | |
| 650 | 7 | |a Langages de programmation - Congrès |2 ram | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 650 | 4 | |a Logique informatique | |
| 650 | 7 | |a Logique informatique - Congrès |2 ram | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Quantificateurs (Linguistique) - Informatique | |
| 650 | 7 | |a complexité calcul |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a modèle fini |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a quantificateur |2 inriac | |
| 650 | 7 | |a théorie Ramsey |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer logic |v Congresses | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic Computers) |v Congresses | |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Quantor |0 (DE-588)4128275-9 |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)BV000000607 |9 1754 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008793470 | ||
Datensatz im Suchindex
| _version_ | 1804127605692039168 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)121630544 |
| building | Verbundindex |
| bvnumber | BV012917326 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 |
| callnumber-search | QA76.9.M35 |
| callnumber-sort | QA 276.9 M35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)43286987 (DE-599)BVBBV012917326 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02753nam a2200685 cb4500</leader><controlfield tag="001">BV012917326</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991214s1999 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">95808064X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540669930</subfield><subfield code="9">3-540-66993-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)43286987</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012917326</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-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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">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">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">1754</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science - Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formele semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Inteligencia artificial (computacao)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Quantificateurs (Linguistique) - Informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle fini</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">quantificateur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie Ramsey</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic Computers)</subfield><subfield code="v">Congresses</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="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="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)BV000000607</subfield><subfield code="9">1754</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008793470</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.BV012917326 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:36:01Z |
| institution | BVB |
| institution_GND | (DE-588)1237972-4 |
| isbn | 3540669930 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008793470 |
| oclc_num | 43286987 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-20 DE-706 DE-83 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-20 DE-706 DE-83 |
| physical | 139 S. |
| 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 139 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1754 Computer logic Computer science - Mathematics Formele semantiek gtt Inteligencia artificial (computacao) larpcal Langages de programmation - Congrès ram Logica matematica larpcal Logique informatique Logique informatique - Congrès ram Programming languages (Electronic computers) Quantificateurs (Linguistique) - Informatique complexité calcul inriac logique mathématique inriac modèle fini inriac programmation en logique inriac quantificateur inriac théorie Ramsey inriac Informatik Mathematik Computer logic Congresses Computer science Mathematics Congresses Programming languages (Electronic Computers) Congresses Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf Quantor (DE-588)4128275-9 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)BV000000607 1754 |
| 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 Computer logic Computer science - Mathematics Formele semantiek gtt Inteligencia artificial (computacao) larpcal Langages de programmation - Congrès ram Logica matematica larpcal Logique informatique Logique informatique - Congrès ram Programming languages (Electronic computers) Quantificateurs (Linguistique) - Informatique complexité calcul inriac logique mathématique inriac modèle fini inriac programmation en logique inriac quantificateur inriac théorie Ramsey inriac Informatik Mathematik Computer logic Congresses Computer science Mathematics Congresses Programming languages (Electronic Computers) Congresses Berechnungskomplexität (DE-588)4134751-1 gnd Quantor (DE-588)4128275-9 gnd |
| subject_GND | (DE-588)4134751-1 (DE-588)4128275-9 (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_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 | Computer logic Computer science - Mathematics Formele semantiek gtt Inteligencia artificial (computacao) larpcal Langages de programmation - Congrès ram Logica matematica larpcal Logique informatique Logique informatique - Congrès ram Programming languages (Electronic computers) Quantificateurs (Linguistique) - Informatique complexité calcul inriac logique mathématique inriac modèle fini inriac programmation en logique inriac quantificateur inriac théorie Ramsey inriac Informatik Mathematik Computer logic Congresses Computer science Mathematics Congresses Programming languages (Electronic Computers) Congresses Berechnungskomplexität (DE-588)4134751-1 gnd Quantor (DE-588)4128275-9 gnd |
| topic_facet | Computer logic Computer science - Mathematics Formele semantiek Inteligencia artificial (computacao) Langages de programmation - Congrès Logica matematica Logique informatique Logique informatique - Congrès Programming languages (Electronic computers) Quantificateurs (Linguistique) - Informatique complexité calcul logique mathématique modèle fini programmation en logique quantificateur théorie Ramsey Informatik Mathematik Computer logic Congresses Computer science Mathematics Congresses Programming languages (Electronic Computers) Congresses Berechnungskomplexität Quantor Konferenzschrift 1997 Aix-en-Provence |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT vaananenjouko generalizedquantifiersandcomputation9theuropeansummerschoolinlogiclanguageandinformationesslli97workshopaixenprovencefranceaugust11221997revisedlectures AT europeansummerschoolinlogiclanguageandinformationaixenprovence generalizedquantifiersandcomputation9theuropeansummerschoolinlogiclanguageandinformationesslli97workshopaixenprovencefranceaugust11221997revisedlectures |