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