LEADER 03244nam  22006975  450 
001 996465308203316
005 20230222080700.0
010   $a3-662-52921-1
024 7 $a10.1007/978-3-662-52921-8
035   $a(CKB)3710000000837755
035   $a(DE-He213)978-3-662-52921-8
035   $a(MiAaPQ)EBC5579599
035   $a(PPN)194803813
035   $a(EXLCZ)993710000000837755
100   $a20160805d2016      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] $e23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /$fedited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
205   $a1st ed. 2016.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2016.
215   $a1 online resource (XXII, 447 p. 32 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9803
311   $a3-662-52920-3 
320   $aIncludes bibliographic references and index.
327   $aFormal logic -- Computing. -Programming theory -- Natural language and reasoning.
330   $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016. The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9803
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science?Mathematics
606   $aComputer science
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aSymbolic and Algebraic Manipulation
606   $aComputer Science Logic and Foundations of Programming
606   $aAlgorithms
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science?Mathematics.
615  0$aComputer science.
615  0$aAlgorithms.
615 14$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aAlgorithms.
676   $a005.131
702   $aVäänänen$b Jouko$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHirvonen$b Åsa$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465308203316
996   $aLogic, Language, Information and Computation$9772504
997   $aUNISA