Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Iemhoff, Rosalie (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Moortgat, Michael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), de Queiroz, Ruy (Επιμελητής έκδοσης, 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 ; 11541
• Θέματα: Mathematical logic.; Computer logic.; Algorithms.; Software engineering.; Artificial intelligence.; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Software Engineering.; Artificial Intelligence.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with...

Πίνακας περιεχομένων:

• Formal Logic. Computing. Programming Theory
• Natural Language
• Reasoning.