LEADER 01829oam  2200409zu 450 
001 996198557603316
005 20210807003352.0
035   $a(CKB)111085500343016
035   $a(SSID)ssj0000455436
035   $a(PQKBManifestationID)12155336
035   $a(PQKBTitleCode)TC0000455436
035   $a(PQKBWorkID)10401018
035   $a(PQKB)11090646
035   $a(NjHacI)99111085500343016
035   $a(EXLCZ)99111085500343016
100   $a20160829d2003      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a18th Annual IEEE Symposium on Logic in Computer Science
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2003
215   $a1 online resource (xiv, 393 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-1884-2 
330   $aAnnotation The LICS proceedings covers topics that include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, and logic programming.
606   $aComputer science$xMathematics$vCongresses
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aComputer science$xMathematics
615  0$aLogic, Symbolic and mathematical
676   $a004.0151
801  0$bPQKB
906   $aPROCEEDING
912   $a996198557603316
996   $a18th Annual IEEE Symposium on Logic in Computer Science$92320818
997   $aUNISA