Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /
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...
Συγγραφή απο Οργανισμό/Αρχή: | 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 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
Έκδοση: (2019) -
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
Έκδοση: (2019) -
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday /
Έκδοση: (2019) -
Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings /
Έκδοση: (2019) -
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
Έκδοση: (2019)