ACM Transactions on Computational Logic (TOCL) (2000)
| 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/loi/tocl |
| Fulltext online since: | Vol. 1 (2000) |
| Type of appearance: | Volltext, Online und Druckausgabe |
| Pricetype: | kostenlos |