green ACM Transactions on Computational Logic (TOCL) (2000)

Verlag: Association for Computing Machinery (ACM)
ISSN: 1557-945X (elektronisch), 1529-3785 (gedruckt)
ZDB-Nummer: 2025647-4
Fachgruppen: Informatik , Mathematik
Schlagworte: Mathematische Informatik
Homepage: https://dl.acm.org/loi/tocl
erste Volltextausgabe: Vol. 1 (2000)
Erscheinungform: Volltext, Online und Druckausgabe
Kosten: kostenlos