red ACM Transactions on Computational Logic (TOCL)

Publisher: Association for Computing Machinery (ACM)
ISSN: 1557-945X (electronic), 1529-3785 (printed)
ZDB-Number: 2025647-4
Subjects: Informatik , Mathematik
Keywords: Mathematische Informatik
Homepage: https://dl.acm.org/pub.cfm?id=J773
Fulltext online since: Vol. 1, 1 (2000)
Type of appearance: Volltext, Online und Druckausgabe
Pricetype: kostenpflichtig