计算逻辑学报

ISSN编号：

1529-3785 1557-945X

网站：

https://tocl.acm.org

出版商：

计算机协会

频率：

每季度

主题：

计算机科学