LEADER 03218nam  22007335  450 
001 996465744103316
005 20230223093427.0
010   $a3-642-32621-8
024 7 $a10.1007/978-3-642-32621-9
035   $a(CKB)3400000000085769
035   $a(SSID)ssj0000746028
035   $a(PQKBManifestationID)11412858
035   $a(PQKBTitleCode)TC0000746028
035   $a(PQKBWorkID)10859905
035   $a(PQKB)11663756
035   $a(DE-He213)978-3-642-32621-9
035   $a(MiAaPQ)EBC3069895
035   $a(PPN)168322277
035   $a(EXLCZ)993400000000085769
100   $a20120818d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic, Language, Information, and Computation$b[electronic resource] /$fedited by Luke Ong, Ruy de Queiroz
205   $a2nd ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XII, 337 p. 49 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7456
300   $aInternational conference proceedings.
311   $a3-642-32620-X 
320   $aIncludes bibliographical references and author index.
330   $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7456
606   $aAlgorithms
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aComputer science
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aDiscrete Mathematics in Computer Science
606   $aComputer Science Logic and Foundations of Programming
606   $aTheory of Computation
606   $aSymbolic and Algebraic Manipulation
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aComputer science.
615 14$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aTheory of Computation.
615 24$aSymbolic and Algebraic Manipulation.
676   $a005.1
702   $aOng$b Luke$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465744103316
996   $aLogic, Language, Information and Computation$9772504
997   $aUNISA