green 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