ACM Transactions on Computational Logic (TOCL)
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, 1 (2000) |
Erscheinungform: | Volltext, Online und Druckausgabe |
Kosten: | kostenpflichtig |
Bemerkung: | Der Jahrgang 1.2000 ist frei zugänglich |