03244nam 22007335 450 991034943070332120230329134124.03-662-57669-410.1007/978-3-662-57669-4(CKB)3810000000358707(DE-He213)978-3-662-57669-4(MiAaPQ)EBC6281100(PPN)229494617(EXLCZ)99381000000035870720180626d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierLogic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez1st ed. 2018.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2018.1 online resource (XVIII, 325 p. 29 illus.) Theoretical Computer Science and General Issues,2512-2029 ;109443-662-57668-6 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;10944Machine theoryArtificial intelligenceComputer programmingCompilers (Computer programs)Software engineeringNumerical analysisFormal Languages and Automata TheoryArtificial IntelligenceProgramming TechniquesCompilers and InterpretersSoftware EngineeringNumerical AnalysisMachine theory.Artificial intelligence.Computer programming.Compilers (Computer programs).Software engineering.Numerical analysis.Formal Languages and Automata Theory.Artificial Intelligence.Programming Techniques.Compilers and Interpreters.Software Engineering.Numerical Analysis.511.3Moss Lawrence Sedthttp://id.loc.gov/vocabulary/relators/edtde Queiroz Ruyedthttp://id.loc.gov/vocabulary/relators/edtMartinez Maricarmenedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349430703321Logic, Language, Information, and Computation3552031UNINA