000 | 03231nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-030-98479-3 | ||
003 | DE-He213 | ||
005 | 20240730181010.0 | ||
007 | cr nn 008mamaa | ||
008 | 220330s2022 sz | s |||| 0|eng d | ||
020 |
_a9783030984793 _9978-3-030-98479-3 |
||
024 | 7 |
_a10.1007/978-3-030-98479-3 _2doi |
|
050 | 4 | _aQA267-268.5 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a005.131 _223 |
245 | 1 | 0 |
_aLanguage, Logic, and Computation _h[electronic resource] : _b13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers / _cedited by Aybüke Özgün, Yulia Zinova. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aXVI, 355 p. 63 illus., 8 illus. in color. _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 ; _v13206 |
|
505 | 0 | _aLanguage and Logic -- Logic and Computation -- Mathematical Logic -- Computational Linguistics -- Semantics -- Georgian -- German. | |
520 | _aThis book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden). | ||
650 | 0 |
_aMachine theory. _9122896 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aLogic programming. _92730 |
|
650 | 0 |
_aNatural language processing (Computer science). _94741 |
|
650 | 1 | 4 |
_aFormal Languages and Automata Theory. _9122897 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aLogic in AI. _933012 |
650 | 2 | 4 |
_aNatural Language Processing (NLP). _931587 |
700 | 1 |
_aÖzgün, Aybüke. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9122898 |
|
700 | 1 |
_aZinova, Yulia. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9122899 |
|
710 | 2 |
_aSpringerLink (Online service) _9122900 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030984786 |
776 | 0 | 8 |
_iPrinted edition: _z9783030984809 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13206 _923263 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-98479-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c90633 _d90633 |