ACM transactions on computational logic.
ACM transactions on computational logic.
Association for Computing Machinery transactions on computational logic Computational logic
- New York, NY : Association for Computing Machinery, 2017-
- volumes : illustrations ; 26 cm
- Quarterly
- .
Includes bibliographical references.
CCS- Bachelor of Science in Computer Science (BSCS)
1529-3785 = ACM transactions on computational logic = ACM trans. comput. log.
00211749
Computer logic--Periodicals.
Logic, Symbolic and mathematical--Periodicals.
Computer science--Mathematics--Periodicals.
Computer logic.
Computer science--Mathematics.
Logic, Symbolic and mathematical.
Periodicals.
QA76.9.L63 / A3
004
Includes bibliographical references.
CCS- Bachelor of Science in Computer Science (BSCS)
1529-3785 = ACM transactions on computational logic = ACM trans. comput. log.
00211749
Computer logic--Periodicals.
Logic, Symbolic and mathematical--Periodicals.
Computer science--Mathematics--Periodicals.
Computer logic.
Computer science--Mathematics.
Logic, Symbolic and mathematical.
Periodicals.
QA76.9.L63 / A3
004