red 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: http://portal.acm.org/tocl , http://www.acm.org/pubs/tocl/
erste Volltextausgabe: Vol. 1, 1 (2000)
Erscheinungform: Volltext, Online und Druckausgabe
Kosten: kostenpflichtig