Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg
Springer
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
8984 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIV, 333 p. 47 illus) |
| ISBN: | 9783662469064 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-46906-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042592538 | ||
| 003 | DE-604 | ||
| 005 | 20240426 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150602s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662469064 |c Online |9 978-3-662-46906-4 | ||
| 024 | 7 | |a 10.1007/978-3-662-46906-4 |2 doi | |
| 035 | |a (OCoLC)911044439 | ||
| 035 | |a (DE-599)BVBBV042592538 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 084 | |a LIN 080f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 710f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 111 | 2 | |a International Tbilisi Symposium on Logic, Language, and Computation |n 10. |d 2013 |c Gudauri |j Verfasser |0 (DE-588)1071921215 |4 aut | |
| 245 | 1 | 0 | |a Logic, Language, and Computation |b 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers |c edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XIV, 333 p. 47 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 8984 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Translators (Computer programs) | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Language Translation and Linguistics | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a Computerlinguistik |0 (DE-588)4035843-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 Berechnungstheorie |0 (DE-588)4005581-4 |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 Natürliche Sprache |0 (DE-588)4041354-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Kutaissi |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Gudauri |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 Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 1 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Computerlinguistik |0 (DE-588)4035843-4 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Aher, Martin |e Sonstige |0 (DE-588)1221316974 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-662-46905-7 |w (DE-604)BV042610627 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 8984 |w (DE-604)BV014880109 |9 8984 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-46906-4 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025750&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025750&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028025750 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804174755835674624 |
|---|---|
| adam_text | LOGIC, LANGUAGE, AND COMPUTATION
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
RESEARCH ON ASPECT: REFLECTIONS AND NEW FRONTIERS
TUTORIAL ON ADMISSIBLE RULES IN GUDAURI
DEONTIC CONFLICTS AND MULTIPLE VIOLATIONS
ADMISSIBILITY AND UNIFIABILITY IN CONTACT LOGICS
F-LTAG SEMANTICS FOR ISSUES AROUND FOCUSING
THE DIALECT DICTIONARIES FOR REPRESENTATIVENESS AND MORPHOLOGICAL
ANNOTATION IN GEORGIAN DIALECT CORPUS
DUALITY AND UNIVERSAL MODELS FOR THE MEET-IMPLICATION FRAGMENT OF IPC
CUT-ELIMINATION AND PROOF SCHEMATA
TOWARDS A SUPPOSITIONAL IN-QUISITIVE SEMANTICS
MODELS BUILT FROM MODELS OF ARITHMETIC
POSITIVE FORMULAS IN INTUITIONISTIC AND MINIMAL LOGIC
UNLESS AND UNTIL: A COMPOSITIONAL ANALYSIS
FRAME THEORY, DEPENDENCE LOGIC AND STRATEGIES
UNIQUENESS AND POSSESSION: TYPOLOGICAL EVIDENCE FOR TYPE SHIFTS IN
NOMINAL DETERMINATION
ALTERNATIVE SEMANTICS FOR VISSER S PROPOSITIONAL LOGICS
BETWEEN-NOUN COMPARISONS
ON THE LICENSING OF ARGUMENT CONDITIONALS
BIASPECTUAL VERBS: A MARGINAL CATEGORY?
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGIC, LANGUAGE, AND COMPUTATION
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 10TH INTERNATIONAL
TBILISI SYMPOSIUM ON LOGIC, LANGUAGE, AND COMPUTATION, TBILLC 2013, HELD
IN GUDAURI, GEORGIA, IN SEPTEMBER 2013. THE CONFERENCE SERIES IS
CENTERED AROUND THE INTERACTION BETWEEN LOGIC, LANGUAGE, AND
COMPUTATION. THE CONTRIBUTIONS REPRESENT THESE THREE FIELDS, AND THE
SYMPOSIA AIM TO FOSTER INTERACTION BETWEEN THEM. THE BOOK CONSISTS OF
16 PAPERS THAT WERE CAREFULLY REVIEWED AND SELECTED FROM26
SUBMISSIONS. EACH PAPER HAS PASSED THROUGH A RIGOROUS PEER-REVIEW
PROCESS BEFORE BEING ACCEPTED FOR PUBLICATION. THE VOLUME ALSO CONTAINS
TWO SUMMARIES OF THE TUTORIALS THAT TOOK PLACE AT THE SYMPOSIUM: THE ONE
ON ADMISSIBLE RULES AND THE ONE ON THE FORMAL SEMANTICS OF ASPECTUAL
MEANING FROM A CROSS-LINGUISTIC PERSPECTIVE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1221316974 |
| author_corporate | International Tbilisi Symposium on Logic, Language, and Computation Gudauri |
| author_corporate_role | aut |
| author_facet | International Tbilisi Symposium on Logic, Language, and Computation Gudauri |
| author_sort | International Tbilisi Symposium on Logic, Language, and Computation Gudauri |
| building | Verbundindex |
| bvnumber | BV042592538 |
| classification_tum | LIN 080f DAT 000 DAT 710f DAT 540f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)911044439 (DE-599)BVBBV042592538 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Sprachwissenschaften |
| doi_str_mv | 10.1007/978-3-662-46906-4 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03744nmm a2200769zcb4500</leader><controlfield tag="001">BV042592538</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240426 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150602s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662469064</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-46906-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-46906-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)911044439</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042592538</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</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 000</subfield><subfield code="2">stub</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">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Tbilisi Symposium on Logic, Language, and Computation</subfield><subfield code="n">10.</subfield><subfield code="d">2013</subfield><subfield code="c">Gudauri</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1071921215</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, Language, and Computation</subfield><subfield code="b">10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers</subfield><subfield code="c">edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 333 p. 47 illus)</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">8984</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Translators (Computer programs)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language Translation and Linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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="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">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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Kutaissi</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Gudauri</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">Natürliche Sprache</subfield><subfield code="0">(DE-588)4041354-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aher, Martin</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1221316974</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-662-46905-7</subfield><subfield code="w">(DE-604)BV042610627</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">8984</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8984</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-46906-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028025750&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028025750&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028025750</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></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Kutaissi gnd-content (DE-588)1071861417 Konferenzschrift 2015 Gudauri gnd-content |
| genre_facet | Konferenzschrift 2011 Kutaissi Konferenzschrift 2015 Gudauri |
| id | DE-604.BV042592538 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:05:26Z |
| institution | BVB |
| institution_GND | (DE-588)1071921215 |
| isbn | 9783662469064 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028025750 |
| oclc_num | 911044439 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIV, 333 p. 47 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | International Tbilisi Symposium on Logic, Language, and Computation 10. 2013 Gudauri Verfasser (DE-588)1071921215 aut Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke Berlin ; Heidelberg Springer 2015 1 Online-Ressource (XIV, 333 p. 47 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8984 0302-9743 Computer science Artificial intelligence Translators (Computer programs) Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Language Translation and Linguistics Informatik Künstliche Intelligenz Computerlinguistik (DE-588)4035843-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Kutaissi gnd-content (DE-588)1071861417 Konferenzschrift 2015 Gudauri gnd-content Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s DE-604 Natürliche Sprache (DE-588)4041354-8 s Formale Semantik (DE-588)4122144-8 s Computerlinguistik (DE-588)4035843-4 s 1\p DE-604 Aher, Martin Sonstige (DE-588)1221316974 oth Erscheint auch als Druck-Ausgabe 978-3-662-46905-7 (DE-604)BV042610627 Lecture Notes in Computer Science 8984 (DE-604)BV014880109 8984 https://doi.org/10.1007/978-3-662-46906-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025750&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025750&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers Lecture Notes in Computer Science Computer science Artificial intelligence Translators (Computer programs) Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Language Translation and Linguistics Informatik Künstliche Intelligenz Computerlinguistik (DE-588)4035843-4 gnd Logik (DE-588)4036202-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Formale Semantik (DE-588)4122144-8 gnd Natürliche Sprache (DE-588)4041354-8 gnd |
| subject_GND | (DE-588)4035843-4 (DE-588)4036202-4 (DE-588)4005581-4 (DE-588)4122144-8 (DE-588)4041354-8 (DE-588)1071861417 |
| title | Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers |
| title_auth | Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers |
| title_exact_search | Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers |
| title_full | Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke |
| title_fullStr | Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke |
| title_full_unstemmed | Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke |
| title_short | Logic, Language, and Computation |
| title_sort | logic language and computation 10th international tbilisi symposium on logic language and computation tbillc 2013 gudauri georgia september 23 27 2013 revised selected papers |
| title_sub | 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers |
| topic | Computer science Artificial intelligence Translators (Computer programs) Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Language Translation and Linguistics Informatik Künstliche Intelligenz Computerlinguistik (DE-588)4035843-4 gnd Logik (DE-588)4036202-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd Formale Semantik (DE-588)4122144-8 gnd Natürliche Sprache (DE-588)4041354-8 gnd |
| topic_facet | Computer science Artificial intelligence Translators (Computer programs) Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Language Translation and Linguistics Informatik Künstliche Intelligenz Computerlinguistik Logik Berechnungstheorie Formale Semantik Natürliche Sprache Konferenzschrift 2011 Kutaissi Konferenzschrift 2015 Gudauri |
| url | https://doi.org/10.1007/978-3-662-46906-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025750&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028025750&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT internationaltbilisisymposiumonlogiclanguageandcomputationgudauri logiclanguageandcomputation10thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2013gudaurigeorgiaseptember23272013revisedselectedpapers AT ahermartin logiclanguageandcomputation10thinternationaltbilisisymposiumonlogiclanguageandcomputationtbillc2013gudaurigeorgiaseptember23272013revisedselectedpapers |