LEADER 03811nam 22007335 450 001 996465902603316 005 20200629171403.0 010 $a3-642-23211-6 024 7 $a10.1007/978-3-642-23211-4 035 $a(CKB)2550000000054402 035 $a(SSID)ssj0000610233 035 $a(PQKBManifestationID)11412388 035 $a(PQKBTitleCode)TC0000610233 035 $a(PQKBWorkID)10639633 035 $a(PQKB)10236020 035 $a(DE-He213)978-3-642-23211-4 035 $a(MiAaPQ)EBC3067338 035 $a(PPN)15630841X 035 $a(EXLCZ)992550000000054402 100 $a20110929d2011 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 14$aThe Mathematics of Language$b[electronic resource] $e12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings /$fedited by Makoto Kanazawa, Marcus Kracht, Hiroyuki Seki, András Kornai 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (IV, 227 p. 57 illus., 4 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6878 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-23210-8 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the proceedings of the 12th Biennial Meeting on Mathematics in Language, MOL 12, held in Nara, Japan, in September 2011. Presented in this volume are 12 carefully selected papers, as well as the paper of the invited speaker Andreas Maletti. The papers cover such diverse topics as formal languages (string and tree transducers, grammar-independent syntactic structures, probabilistic and weighted context-free grammars, formalization of minimalist syntax), parsing and unification, lexical and compositional semantics, statistical language models, and theories of truth. 410 0$aLecture Notes in Artificial Intelligence ;$v6878 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aComputer logic 606 $aComputers 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aComputer logic. 615 0$aComputers. 615 14$aMathematical Logic and Formal Languages. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aLogics and Meanings of Programs. 615 24$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aMathematical Logic and Foundations. 676 $a005.131 702 $aKanazawa$b Makoto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKracht$b Marcus$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSeki$b Hiroyuki$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKornai$b András$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465902603316 996 $aThe Mathematics of Language$92831613 997 $aUNISA