Logic, language, and computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6618 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIV, 359 S. graph. Darst. 24 cm |
| ISBN: | 9783642223020 3642223028 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039155461 | ||
| 003 | DE-604 | ||
| 005 | 20111207 | ||
| 007 | t| | ||
| 008 | 110725s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N23 |2 dnb | ||
| 016 | 7 | |a 101246296X |2 DE-101 | |
| 020 | |a 9783642223020 |c kart. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.) |9 978-3-642-22302-0 | ||
| 020 | |a 3642223028 |9 3-642-22302-8 | ||
| 024 | 3 | |a 9783642223020 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80073566 |
| 035 | |a (OCoLC)745521077 | ||
| 035 | |a (DE-599)DNB101246296X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 004.015113 |2 22/ger | |
| 082 | 0 | |a 006.35 |2 22/ger | |
| 084 | |a DAT 710f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a LIN 080f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logic, language, and computation |b 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers |c Nick Bezhanishvili ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XIV, 359 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6618 : Lecture notes in artificial intelligence | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Bakuriani |2 gnd-content | |
| 689 | 0 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 2 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 2 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Bezhanishvili, Nick |e Sonstige |4 oth | |
| 711 | 2 | |a International Tbilisi Symposium on Logic, Language, and Computation |n 8 |d 2009 |c Bakuriani |j Sonstige |0 (DE-588)16165593-2 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Logic, Language, and Computation |
| 830 | 0 | |a Lecture notes in computer science |v 6618 |w (DE-604)BV000000607 |9 6618 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3835668&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024173125&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024173125 | |
Record in the Search Index
| _version_ | 1820875336779300864 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
LOGIC AND COMPUTATION ORDINAL COMPLETENESS OF BIMODAL PROVABILITY LOGIC
GLB 1 LEV BEKLEMISHEV
SPECTRAL AND TO-SPACES IN D-SEMANTICS 16
GURAM BEZHANISHVILI, LEO ESAKIA, AND DAVID GABELAIA
A NOTE ON UNIFORM INTERPOLATION PROOFS IN MODAL DEEP INFERENCE CALCULI
30
MARIA BILKOVA
A MODAL TRANSCRIPTION OF THE HAUSDORFF RESIDUE 46
LEO ESAKIA
JANKOV'S THEOREMS FOR INTERMEDIATE LOGICS IN THE SETTING OF UNIVERSAL
MODELS 53
DICK DE JONGH AND FAN YANG
A VIEW OF CANONICAL EXTENSION 77
MAI GEHRKE AND JACOB VOSMAER
INTUITIONISTIC SEQUENT-STYLE CALCULUS WITH EXPLICIT STRUCTURAL RULES . .
. 101 SILVIA GHILEZAN, JELENA IVETIC, PIERRE LESCANNE, AND DRAGISA
ZUNIC
EFFICIENT DESIGN AND INFERENCE IN DISTRIBUTED BAYESIAN NETWORKS: AN
OVERVIEW 125
PATRICK DE OUDE, FRANS C.A. GROEN, AND GREGOR PAVLIN
LOGIC OF QUESTIONS AND PUBLIC ANNOUNCEMENTS 145
MICHAL PELIS AND ONDREJ MAJER
BOOLEAN MODAL LOGIC WKAJJYN ~ DOXASTIC INTERPRETATION 158 LEVAN URIDIA
LANGUAGE
FUNCTIONAL ANALYSIS OF CONTRASTING CONJUNCTIONS IN GEORGIAN 170 RUSUDAN
ASATIANI
DISCOURSE RELATIONS AND RELEVANCE IMPLICATURES: A CASE STUDY 182 ANTON
BENZ AND FABIENNE SALFNER
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/101246296X
DIGITALISIERT DURCH
IMAGE 2
XIV TABLE OF CONTENTS
CLITIC MOVEMENT IN PREGROUP GRAMMAR: A CROSS-LINGUISTIC APPROACH 197
CLAUDIA CASADIO AND MEHRNOOSH SADRZADEH
THE FUNCTIONS OF THE PARTICLES MXOLOD AND MART'O IN GEORGIAN 215 ANNA
CHUTKERASHVILI
ASPECTUAL SHIFTS WITH AND WITHOUT TYPE CONFLICT 223
SABINE GRUENDER
PREVERBS IN MEGRELIAN 240
MARINE IVANISHVILI AND ETHER SOSELIA
THE SYNTAX/SEMANTICS INTERFACE: COMPOSITIONALITY ISSUES 249
PAULINE JACOBSON
A FINITE STATE APPROACH TO ABKHAZ MORPHOLOGY AND STRESS 271
PAUL MEURER
FROM INFERENCE TO MEANING: EXPERIMENTAL STUDY ON REASONING WITH
QUANTIFIERS SOME AND MOST 283
MARIA SPYCHALSKA
THE IMPERFECT MEASURE OF INTERNALLY PLURAL EVENTS 301
LUCIA M. TOVENA
THE MEANING OF THE ADDITIVE TOO: PRESUPPOSITION AND DISCOURSE SIMILARITY
322
GREGOIRE WINTERSTEIN
BAYESIAN NL INTERPRETATION AND LEARNING 342
HENK ZEEVAT
AUTHOR INDEX 361 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039155461 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 710f LIN 080f DAT 540f |
| ctrlnum | (OCoLC)745521077 (DE-599)DNB101246296X |
| dewey-full | 004.015113 006.35 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 006 - Special computer methods |
| dewey-raw | 004.015113 006.35 |
| dewey-search | 004.015113 006.35 |
| dewey-sort | 14.015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Sprachwissenschaften |
| 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">BV039155461</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111207</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110725s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101246296X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642223020</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-22302-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642223028</subfield><subfield code="9">3-642-22302-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642223020</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80073566</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745521077</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101246296X</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</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">006.35</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 710f</subfield><subfield code="2">stub</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">LIN 080f</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">Logic, language, and computation</subfield><subfield code="b">8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers</subfield><subfield code="c">Nick Bezhanishvili ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 359 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6618 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-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">2009</subfield><subfield code="z">Bakuriani</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</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">Computerlinguistik</subfield><subfield code="0">(DE-588)4035843-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bezhanishvili, Nick</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Tbilisi Symposium on Logic, Language, and Computation</subfield><subfield code="n">8</subfield><subfield code="d">2009</subfield><subfield code="c">Bakuriani</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16165593-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Logic, Language, and Computation</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6618</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6618</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3835668&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024173125&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024173125</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Bakuriani gnd-content |
| genre_facet | Konferenzschrift 2009 Bakuriani |
| id | DE-604.BV039155461 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:01Z |
| institution | BVB |
| institution_GND | (DE-588)16165593-2 |
| isbn | 9783642223020 3642223028 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024173125 |
| oclc_num | 745521077 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XIV, 359 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.) Berlin [u.a.] Springer 2011 XIV, 359 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6618 : Lecture notes in artificial intelligence Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Computerlinguistik (DE-588)4035843-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Bakuriani gnd-content Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s DE-604 Computerlinguistik (DE-588)4035843-4 s Formale Methode (DE-588)4333722-3 s Natürliche Sprache (DE-588)4041354-8 s Formale Semantik (DE-588)4122144-8 s 1\p DE-604 Bezhanishvili, Nick Sonstige oth International Tbilisi Symposium on Logic, Language, and Computation 8 2009 Bakuriani Sonstige (DE-588)16165593-2 oth Erscheint auch als Online-Ausgabe Logic, Language, and Computation Lecture notes in computer science 6618 (DE-604)BV000000607 6618 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3835668&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024173125&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4005581-4 (DE-588)4036202-4 (DE-588)4041354-8 (DE-588)4122144-8 (DE-588)4035843-4 (DE-588)1071861417 |
| title | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers |
| title_auth | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers |
| title_exact_search | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers |
| title_full | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.) |
| title_fullStr | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.) |
| title_full_unstemmed | Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.) |
| title_short | Logic, language, and computation |
| title_sort | logic language and computation 8th international tbilisi symposium on logic language and computation tbillc 2009 bakuriani georgia september 21 25 2009 revised selected papers |
| title_sub | 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers |
| topic | Formale Methode (DE-588)4333722-3 gnd Berechnungstheorie (DE-588)4005581-4 gnd Logik (DE-588)4036202-4 gnd Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Computerlinguistik (DE-588)4035843-4 gnd |
| topic_facet | Formale Methode Berechnungstheorie Logik Natürliche Sprache Formale Semantik Computerlinguistik Konferenzschrift 2009 Bakuriani |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3835668&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024173125&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bezhanishvilinick logiclanguageandcomputation8thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2009bakurianigeorgiaseptember21252009revisedselectedpapers AT internationaltbilisisymposiumonlogiclanguageandcomputationbakuriani logiclanguageandcomputation8thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2009bakurianigeorgiaseptember21252009revisedselectedpapers |