ACM Transactions on Computational Logic (TOCL) (2000)
Association for Computing Machinery (ACM) | |
1557-945X (), 1529-3785 () | |
2025647-4 | |
Informatik , Mathematik | |
Mathematische Informatik | |
https://dl.acm.org/loi/tocl | |
Vol. 1, (2000) | |
Volltext, Online und Druckausgabe | |
kostenlos |