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

Language, Logic, and Computation

13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers

    • US$64.99
    • US$64.99

출판사 설명

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. 
The volume contains 17 full revised papers presented at the conference from 17  submissions.   The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.

The symposium offered two tutorials in language and logic and aimed at students

as well as researchers working in the other areas:

·         Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany)



·         Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg,


Sweden)

장르
컴퓨터 및 인터넷
출시일
2022년
3월 30일
언어
EN
영어
길이
371
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
26.1
MB
Formal Grammar Formal Grammar
2016년
Automated Reasoning Automated Reasoning
2022년
Logic, Language, and Computation Logic, Language, and Computation
2017년
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
2011년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2016년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2017년