LEADER 03267nam  22007335  450 
001 996465708703316
005 20230329134124.0
010   $a3-662-57669-4
024 7 $a10.1007/978-3-662-57669-4
035   $a(CKB)3810000000358707
035   $a(DE-He213)978-3-662-57669-4
035   $a(MiAaPQ)EBC6281100
035   $a(PPN)229494617
035   $a(EXLCZ)993810000000358707
100   $a20180626d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /$fedited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez
205   $a1st ed. 2018.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2018.
215   $a1 online resource (XVIII, 325 p. 29 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10944
311   $a3-662-57668-6 
320   $aIncludes bibliographical references and index.
330   $aEdited 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10944
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aNumerical analysis
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aNumerical Analysis
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aNumerical analysis.
615 14$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aNumerical Analysis.
676   $a511.3
702   $aMoss$b Lawrence S$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMartinez$b Maricarmen$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465708703316
996   $aLogic, Language, Information and Computation$9772504
997   $aUNISA