TY - GEN N2 - This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017. The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language syntax, Linguistic typology, Language evolution, Logics for artificial intelligence and much more. AB - This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017. The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this conference series is to bring together researchers from a wide variety of fields in Natural language syntax, Linguistic typology, Language evolution, Logics for artificial intelligence and much more. T1 - Language, logic, and computation :12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / AU - Silva, Alexandra AU - Staton, Sam. AU - Sutton, Peter. AU - Umbach, Carla. VL - 11456 CN - QA76.9.L63 N1 - Includes author index. ID - 899136 KW - Computer logic KW - Programming languages (Electronic computers) KW - Computational linguistics SN - 9783662595657 SN - 3662595656 SN - 3662595648 SN - 9783662595640 TI - Language, logic, and computation :12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-59565-7 UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-59565-7 ER -