LEADER 03655nam  22007335  450 
001 996465436003316
005 20200705231603.0
010   $a3-642-20920-3
024 7 $a10.1007/978-3-642-20920-8
035   $a(CKB)2670000000082485
035   $a(SSID)ssj0000538668
035   $a(PQKBManifestationID)11965833
035   $a(PQKBTitleCode)TC0000538668
035   $a(PQKBWorkID)10559043
035   $a(PQKB)11238023
035   $a(DE-He213)978-3-642-20920-8
035   $a(MiAaPQ)EBC3066680
035   $a(PPN)153859539
035   $a(EXLCZ)992670000000082485
100   $a20110428d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings /$fedited by Lev D. Beklemishev, Ruy de Queiroz
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 311 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v6642
300   $aInternational conference proceedings.
311   $a3-642-20919-X 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.
410  0$aLecture Notes in Artificial Intelligence ;$v6642
606   $aMathematical logic
606   $aComputer logic
606   $aAlgorithms
606   $aComputers
606   $aComputer science?Mathematics
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aAlgorithms.
615  0$aComputers.
615  0$aComputer science?Mathematics.
615 14$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aComputation by Abstract Devices.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSymbolic and Algebraic Manipulation.
676   $a005.131
702   $aBeklemishev$b Lev D$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465436003316
996   $aLogic, Language, Information and Computation$9772504
997   $aUNISA