TY  - SER
ED  - Association for Computing Machinery.
TI  - ACM transactions on computational logic
SN  - 1529-3785
AV  - QA76.9.L63 A3
U1  - 004 13
PY  - 2017///-
CY  - New York, NY
PB  - Association for Computing Machinery
KW  - Computer logic
KW  - Periodicals
KW  - Logic, Symbolic and mathematical
KW  - Computer science
KW  - Mathematics
KW  - fast
N1  - Includes bibliographical references;  CCS- Bachelor of Science in Computer Science (BSCS)
ER  -