Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
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 p...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Moss, Lawrence S. (Editor, http://id.loc.gov/vocabulary/relators/edt), de Queiroz, Ruy (Editor, http://id.loc.gov/vocabulary/relators/edt), Martinez, Maricarmen (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2018.
|
Edition: | 1st ed. 2018. |
Series: | Theoretical Computer Science and General Issues ;
10944 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings /
Published: (2018) -
Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers /
Published: (2018) -
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
Published: (2019) -
Introduction to Octave For Engineers and Scientists /
by: Nagar, Sandeep, et al.
Published: (2018) -
Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Published: (1998)