000 01769cas a2200433 i 4500
001 12412499
005 20241125104406.0
008 112524c2017 nyuqr j 0 a0eng c
010 _a 00211749
_z 00227129
022 0 _a1529-3785
_l1529-3785
_21
040 _aNSD
_beng
_cCSPC
_dEYM
_dWAU
050 0 0 _aQA76.9.L63
_bA3
082 1 0 _a004
_213
210 0 _aACM trans. comput. log.
222 0 _aACM transactions on computational logic
245 0 0 _aACM transactions on computational logic.
246 3 _aAssociation for Computing Machinery transactions on computational logic
246 3 0 _aComputational logic
260 _aNew York, NY :
_bAssociation for Computing Machinery,
_c2017-
300 _avolumes :
_billustrations ;
_c26 cm
310 _aQuarterly
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
490 _3Printed Journal Collection
500 _aIncludes bibliographical references.
521 _a CCS- Bachelor of Science in Computer Science (BSCS)
650 0 _aComputer logic
_vPeriodicals.
650 0 _aLogic, Symbolic and mathematical
_vPeriodicals.
650 0 _aComputer science
_xMathematics
_vPeriodicals.
650 7 _aComputer logic.
_2fast
_0(OCoLC)fst00872265
650 7 _aComputer science
_xMathematics.
_2fast
_0(OCoLC)fst00872460
650 7 _aLogic, Symbolic and mathematical.
_2fast
_0(OCoLC)fst01002068
655 7 _aPeriodicals.
_2fast
_0(OCoLC)fst01411641
710 2 _aAssociation for Computing Machinery.
776 0 8 _iContinued online:
_tACM transactions on computational logic (Online)
_x1529-3785
_w(DLC) 2005214027
_w(OCoLC)45535868
942 _2ddc
_cSERIALS
_n0
999 _c28519
_d28519