TY - BOOK AU - Moss,Lawrence S. AU - de Queiroz,Ruy AU - Martinez,Maricarmen ED - SpringerLink (Online service) TI - Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings T2 - Theoretical Computer Science and General Issues SN - 9783662576694 AV - QA8.9-10.3 U1 - 005.131 23 PY - 2018/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Mathematical logic KW - Artificial intelligence KW - Computer programming KW - Programming languages (Electronic computers) KW - Software engineering KW - Numerical analysis KW - Mathematical Logic and Formal Languages KW - Artificial Intelligence KW - Programming Techniques KW - Programming Languages, Compilers, Interpreters KW - Software Engineering KW - Numeric Computing N1 - Acceso multiusuario N2 - Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation UR - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-662-57669-4 ER -