000 | 02781nam a22004935i 4500 | ||
---|---|---|---|
001 | u376462 | ||
003 | SIRSI | ||
005 | 20160812084414.0 | ||
007 | cr nn 008mamaa | ||
008 | 110718s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642223037 _9978-3-642-22303-7 |
||
040 | _cMX-MeUAM | ||
050 | 4 | _aQ334-342 | |
050 | 4 | _aTJ210.2-211.495 | |
082 | 0 | 4 |
_a006.3 _223 |
100 | 1 |
_aBezhanishvili, Nick. _eeditor. |
|
245 | 1 | 0 |
_aLogic, Language, and Computation _h[recurso electrónico] : _b8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / _cedited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
300 |
_aXIV, 360 p. _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, _x0302-9743 ; _v6618 |
|
520 | _aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Georgia, in September 2009. The 20 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: natural language syntax, semantics, and pragmatics; constructive, modal and algebraic logic; linguistic typology and semantic universals; logics for artificial intelligence; information retrieval, query answer systems; logic, games, and formal pragmatics; language evolution and learnability; computational social choice; historical linguistics, history of logic. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aTranslators (Computer programs). | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aLanguage Translation and Linguistics. |
700 | 1 |
_aLöbner, Sebastian. _eeditor. |
|
700 | 1 |
_aSchwabe, Kerstin. _eeditor. |
|
700 | 1 |
_aSpada, Luca. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642223020 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6618 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-22303-7 |
596 | _a19 | ||
942 | _cLIBRO_ELEC | ||
999 |
_c204342 _d204342 |