LEADER 02362nas  2200697-a 450 
001 996215883003316
005 20230215213018.0
011   $a1557-945X
035   $a(DE-599)ZDB2025647-4
035   $a(OCoLC)45535868
035   $a(CKB)110990112650260
035   $a(CONSER)--2005214027
035   $a(EXLCZ)99110990112650260
100   $a20001211a20009999  s--            a
101 0 $aeng
135   $aurmnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aACM transactions on computational logic
210   $aNew York, NY $cAssociation for Computing Machinery
300   $aRefereed/Peer-reviewed
311   $a1529-3785 
517 3 $aAssociation for Computing Machinery transactions on computational logic
517 3 $aComputational logic
517 3 $aTransactions on computational logic
517 1 $aTOCL
531   $aACM TRANS COMPUT LOG
531   $aACM T COMPUT LOG
531   $aACM TRANS. COMPUT. LOGIC
531   $aACM TRANS. COMPUT. LOG
531 0 $aACM trans. comput. logic
606   $aComputer logic$vPeriodicals
606   $aLogic, Symbolic and mathematical$vPeriodicals
606   $aComputer science$xMathematics$vPeriodicals
606   $aLogique informatique$vPériodiques
606   $aLogique symbolique et mathématique$vPériodiques
606   $aInformatique$xMathématiques$vPériodiques
606   $aComputer logic$2fast$3(OCoLC)fst00872265
606   $aComputer science$xMathematics$2fast$3(OCoLC)fst00872460
606   $aLogic, Symbolic and mathematical$2fast$3(OCoLC)fst01002068
606   $aInformatica$2gtt
606   $aLogica$2gtt
608   $aPeriodicals.$2fast
615  0$aComputer logic
615  0$aLogic, Symbolic and mathematical
615  0$aComputer science$xMathematics
615  6$aLogique informatique
615  6$aLogique symbolique et mathématique
615  6$aInformatique$xMathématiques
615  7$aComputer logic.
615  7$aComputer science$xMathematics.
615  7$aLogic, Symbolic and mathematical.
615 17$aInformatica.
615 17$aLogica.
676   $a004
712 02$aAssociation for Computing Machinery.
906   $aJOURNAL
912   $a996215883003316
996   $aACM Transactions on computational logic$91112788
997   $aUNISA