LEADER 02655nas  22007213  450 
001 996278347603316
005 20221206132329.0
035   $a(OCoLC)596437076
035   $a(CKB)110978979121249
035   $a(CONSER)--2017202957
035   $a(EXLCZ)99110978979121249
100   $a20100402a19869999  ---            a
101 0 $aeng
135   $aurbn||||||abp
135   $aurbn||||||ada
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings /$fSymposium on Logic in Computer Science
210   $aWashington, D.C. $cIEEE Computer Society Press$d©1986-
300   $aPublished: Los Alamitos, CA, 1990-
311   $a1043-6871 
517 1 $aLogic in computer science
517 1 $aLICS
531   $aSYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
531 0 $aProc. - Symp. Logic Comput. Sci.
606   $aElectronic data processing$vCongresses
606   $aComputer programming$vCongresses
606   $aLogic, Symbolic and mathematical$vCongresses
606   $aComputer programs$xCorrectness$vCongresses
606   $aLogiciels$xExactitude$vCongrès
606   $aLogique symbolique et mathématique$vCongrès
606   $aProgrammation (Informatique)$vCongrès
606   $aComputer programming$2fast$3(OCoLC)fst00872390
606   $aComputer programs$xCorrectness$2fast$3(OCoLC)fst00872413
606   $aElectronic data processing$2fast$3(OCoLC)fst00906956
606   $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068
606   $aInformatica$2gtt
606   $aLogica$2gtt
608   $aPeriodicals.$2fast
608   $aConference papers and proceedings.$2fast
615  0$aElectronic data processing
615  0$aComputer programming
615  0$aLogic, Symbolic and mathematical
615  0$aComputer programs$xCorrectness
615  6$aLogiciels$xExactitude
615  6$aLogique symbolique et mathématique
615  6$aProgrammation (Informatique)
615  7$aComputer programming.
615  7$aComputer programs$xCorrectness.
615  7$aElectronic data processing.
615  7$aLogic, Symbolic and mathematical.
615 17$aInformatica.
615 17$aLogica.
676   $a004/.01/5113
712 02$aIEEE Computer Society.$bTechnical Committee on Mathematical Foundations of Computing.
712 02$aAssociation for Symbolic Logic.
712 02$aACM Special Interest Group for Automata and Computability Theory.
712 02$aEuropean Association for Theoretical Computer Science.
906   $aCONFERENCE
912   $a996278347603316
996   $aProceedings$957126
997   $aUNISA