Logic, language, and computation: 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10148 |
| Schlagworte: | |
| Beschreibung: | XXVIII, 354 Seiten Illustrationen, Diagramme |
| ISBN: | 9783662543313 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044227698 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 170316s2017 a||| |||| 10||| eng d | ||
| 020 | |a 9783662543313 |9 978-3-662-54331-3 | ||
| 035 | |a (OCoLC)969461368 | ||
| 035 | |a (DE-599)BVBBV044227698 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 710f |2 stub | ||
| 084 | |a LIN 080f |2 stub | ||
| 245 | 1 | 0 | |a Logic, language, and computation |b 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers |c Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.) |
| 264 | 1 | |a Berlin |b Springer |c [2017] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a XXVIII, 354 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 10148 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computational linguistics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Language Translation and Linguistics | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 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 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |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 | 2 | |a Natürliche Sprache |0 (DE-588)4041354-8 |D s |
| 689 | 0 | 3 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hansen, Helle Hvid |4 edt | |
| 711 | 2 | |a TbiLLC |n 11. |d 2015 |c Tiflis |0 (DE-588)1127656899 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-662-54332-0 |
| 830 | 0 | |a Lecture notes in computer science |v 10148 |w (DE-604)BV000000607 |9 10148 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029633442 | ||
Datensatz im Suchindex
| _version_ | 1804177380035526656 |
|---|---|
| any_adam_object | |
| author2 | Hansen, Helle Hvid |
| author2_role | edt |
| author2_variant | h h h hh hhh |
| author_facet | Hansen, Helle Hvid |
| building | Verbundindex |
| bvnumber | BV044227698 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 540f DAT 710f LIN 080f |
| ctrlnum | (OCoLC)969461368 (DE-599)BVBBV044227698 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| 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>02344nam a2200613zcb4500</leader><controlfield tag="001">BV044227698</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170316s2017 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662543313</subfield><subfield code="9">978-3-662-54331-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)969461368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044227698</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</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 540f</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">LIN 080f</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">11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers</subfield><subfield code="c">Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXVIII, 354 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">10148</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Artificial Intelligence (incl. Robotics)</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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</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="2"><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="0" ind2="3"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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">Hansen, Helle Hvid</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TbiLLC</subfield><subfield code="n">11.</subfield><subfield code="d">2015</subfield><subfield code="c">Tiflis</subfield><subfield code="0">(DE-588)1127656899</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="z">978-3-662-54332-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10148</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10148</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029633442</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044227698 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:47:09Z |
| institution | BVB |
| institution_GND | (DE-588)1127656899 |
| isbn | 9783662543313 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029633442 |
| oclc_num | 969461368 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XXVIII, 354 Seiten Illustrationen, Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.) Berlin Springer [2017] © 2017 XXVIII, 354 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10148 Computer science Mathematical logic Artificial intelligence Computational linguistics Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Language Translation and Linguistics Informatik Künstliche Intelligenz Natürliche Sprache (DE-588)4041354-8 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Berechnungstheorie (DE-588)4005581-4 s Logik (DE-588)4036202-4 s Natürliche Sprache (DE-588)4041354-8 s Formale Semantik (DE-588)4122144-8 s DE-604 Hansen, Helle Hvid edt TbiLLC 11. 2015 Tiflis (DE-588)1127656899 oth Erscheint auch als Online-Ausgabe 978-3-662-54332-0 Lecture notes in computer science 10148 (DE-604)BV000000607 10148 |
| spellingShingle | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers Lecture notes in computer science Computer science Mathematical logic Artificial intelligence Computational linguistics Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Language Translation and Linguistics Informatik Künstliche Intelligenz Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Logik (DE-588)4036202-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4041354-8 (DE-588)4122144-8 (DE-588)4036202-4 (DE-588)4005581-4 (DE-588)1071861417 |
| title | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers |
| title_auth | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers |
| title_exact_search | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers |
| title_full | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.) |
| title_fullStr | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.) |
| title_full_unstemmed | Logic, language, and computation 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat (eds.) |
| title_short | Logic, language, and computation |
| title_sort | logic language and computation 11th international tbilisi symposium tbillc 2015 tbilisi georgia september 21 26 2015 revised selected papers |
| title_sub | 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers |
| topic | Computer science Mathematical logic Artificial intelligence Computational linguistics Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Language Translation and Linguistics Informatik Künstliche Intelligenz Natürliche Sprache (DE-588)4041354-8 gnd Formale Semantik (DE-588)4122144-8 gnd Logik (DE-588)4036202-4 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Computer science Mathematical logic Artificial intelligence Computational linguistics Computer Science Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics) Language Translation and Linguistics Informatik Künstliche Intelligenz Natürliche Sprache Formale Semantik Logik Berechnungstheorie Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT hansenhellehvid logiclanguageandcomputation11thinternationaltbilisisymposiumtbillc2015tbilisigeorgiaseptember21262015revisedselectedpapers AT tbillctiflis logiclanguageandcomputation11thinternationaltbilisisymposiumtbillc2015tbilisigeorgiaseptember21262015revisedselectedpapers |