LEADER 02960nam  22006375  450 
001 9910484807003321
005 20251225212347.0
010   $a3-662-55386-4
024 7 $a10.1007/978-3-662-55386-2
035   $a(CKB)4340000000061668
035   $a(DE-He213)978-3-662-55386-2
035   $a(MiAaPQ)EBC5578910
035   $a(PPN)203668707
035   $a(EXLCZ)994340000000061668
100   $a20170628d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic, Language, Information, and Computation $e24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /$fedited by Juliette Kennedy, Ruy J.G.B. de Queiroz
205   $a1st ed. 2017.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2017.
215   $a1 online resource (X, 401 p. 25 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10388
311 08$a3-662-55385-6 
320   $aIncludes bibliographical references and index.
327   $aLogic and Language -- Logic and Information -- Computation -- Mathematical Logic -- Theory of Computation -- Model Theory. - Proof Theory -- Type Theory. Computability Theory. - Complexity Theory.
330   $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10388
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science$xMathematics
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aSymbolic and Algebraic Manipulation
606   $aAlgorithms
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science$xMathematics.
615  0$aAlgorithms.
615 14$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aAlgorithms.
676   $a005.131
702   $aKennedy$b Juliette$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Queiroz$b Ruy J.G.B$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484807003321
996   $aLogic, Language, Information, and Computation$93552031
997   $aUNINA