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

    • ‏64٫99 US$
    • ‏64٫99 US$

وصف الناشر

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)

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢٢
٣٠ مارس
اللغة
EN
الإنجليزية
عدد الصفحات
٣٧١
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٢٦٫١
‫م.ب.‬
Formal Grammar Formal Grammar
٢٠١٦
Automated Reasoning Automated Reasoning
٢٠٢٢
Logic, Language, and Computation Logic, Language, and Computation
٢٠١٧
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
٢٠١١
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
٢٠١٦
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
٢٠١٧