Dashboard
Directory
Archived Titles
Statistics
Comparison Tools
External Tools
ACM transactions on computational logic.
Program:
CLOCKSS
Publisher:
Association for Computing Machinery
Print ISSN:
1529-3785
Electronic ISSN:
1557-945X
OCLC Number:
Summary Holdings:
v.1-v.23 (2000-2022)
Holdings Format:
Digital