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: http://portal.acm.org/tocl , http://www.acm.org/pubs/tocl/
Fulltext online since: Vol. 1, 1 (2000)
Type of appearance: Volltext, Online und Druckausgabe
Pricetype: kostenpflichtig