Language, Logic, and Computation Language, Logic, and Computation

Language, Logic, and Computation

12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Alexandra Silva en andere
    • € 42,99
    • € 42,99

Beschrijving uitgever

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. 

GENRE
Computers en internet
UITGEGEVEN
2019
3 juli
TAAL
EN
Engels
LENGTE
367
Pagina's
UITGEVER
Springer Berlin Heidelberg
PROVIDER INFO
Springer Science & Business Media LLC
GROOTTE
21,8
MB
Computer Aided Verification Computer Aided Verification
2021
Computer Aided Verification Computer Aided Verification
2021
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2017