000 00581nam a2200145Ia 4500
008 131008s9999 xx 000 0 und d
022 _a1557-945X
245 _aACM Transactions on Computational Logic (TOCL)
260 _aNew York, USA
260 _bAssociation of Computing Machinery (ACM)
300 _aOn-campus e-Journal under Digital Library Program of Higher Education Commission (HEC) of Pakistan
650 _aComputational Logic (TOCL)
856 _3Click here to access the e-Journal
_uhttp://dl.acm.org/pub.cfm?id=J773&CFID=224510542&CFTOKEN=27230365
942 _cEJ
999 _c126188
_d126188