Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Silva, Alexandra (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Staton, Sam (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sutton, Peter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Umbach, Carla (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Theoretical Computer Science and General Issues ; 11456
• Θέματα: Mathematical logic.; Artificial intelligence.; Computer logic.; Mathematical statistics.; Mathematical Logic and Formal Languages.; Logic in AI.; Probability and Statistics in Computer Science.

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 confe...