ACM Transactions on Computational Logic

ISBN코드: 
1557-945X
커버리지: 
2000~
제공자: 
Association for Computing Machinery
초성: 
A
On-campus: 
https://dl.acm.org/journal/tocl
Off-campus: 
https://openlink.postech.ac.kr/link.n2s?url=https://dl.acm.org/journal/tocl