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 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

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. 

장르
컴퓨터 및 인터넷
출시일
2019년
7월 3일
언어
EN
영어
길이
367
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
21.8
MB
Formal Grammar Formal Grammar
2018년
Logic, Rationality, and Interaction Logic, Rationality, and Interaction
2017년
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
2018년
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
2020년
Aspects of Automatic Text Analysis Aspects of Automatic Text Analysis
2007년
Languages: From Formal to Natural Languages: From Formal to Natural
2009년
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년